Phan Cong Vinh

EAI Endorsed Trans. Context aware Syst. Appl., 2019

Toward Combining Fuzzy Graphs Based on Hedge Algebra.

[BibT_eX]

[DOI]

Nguyen Cong Hao

EAI Endorsed Trans. Context aware Syst. Appl., 2019

Context-Aware Mobility in Internet of Thing: A Survey.

[BibT_eX]

[DOI]

Vu Tuan Anh

Cuong Pham-Quoc

EAI Endorsed Trans. Context aware Syst. Appl., 2019

Toward Aggregating Fuzzy Graphs a Model Theory Approach.

[BibT_eX]

[DOI]

Nguyen Cong Hao

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2019

Context-Aware Mobility Based on \pi -Calculus in Internet of Thing: A Survey.

[BibT_eX]

[DOI]

Vu Tuan Anh

Cuong Pham-Quoc

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2019

2018

Formal Analysis of the PKMv3 Protocol.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2018

Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017).

[BibT_eX]

[DOI]

Mob. Networks Appl., 2018

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources.

[BibT_eX]

[DOI]

Ijaz Uddin

Abdur Rakib

Hafiz Mahfooz Ul Haque

Mob. Networks Appl., 2018

Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2018

Toward Modeling and Reasoning with Words Based on Hedge Algebra.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2018

Proposing Storage Structures and Interpolation Algorithms of 3D Spatial Data.

[BibT_eX]

[DOI]

Dang Van Pham

Vinh Cong Phan

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

Modeling with Words Based on Hedge Algebra.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

2017

Question matrix method according to divided dimensions of infographics evaluation.

[BibT_eX]

[DOI]

Waralak V. Siricharoen

Pers. Ubiquitous Comput., 2017

Modeling and Verifying HDFS Using Process Algebra.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2017

Editorial: Context-Aware Systems and Applications (ICCASA 2015).

[BibT_eX]

[DOI]

Leonard Barolli

Emil Vassev

Mob. Networks Appl., 2017

Applying and Deploying Cyber Physical System in Monitoring and Managing Operations Under Mines and Underground Works.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, 2017

Architectural Framework for Context Awareness and Health Conscious Applications on Mobile Devices.

[BibT_eX]

[DOI]

Huynh Trong Duc

Nguyen Dang Binh

Proceedings of the Context-Aware Systems and Applications, 2017

2016

Some Universal Constructions of Autonomic Systems.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2016

Algebraically Autonomic Computing.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2016

Nature of Computation and Communication.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2016

Nature-inspired computation and communication: A formal approach.

[BibT_eX]

[DOI]

Emil Vassev

Future Gener. Comput. Syst., 2016

Concurrency of self-* in autonomic systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

Products, Coproducts and Universal Properties of Autonomic Systems.

[BibT_eX]

[DOI]

Nguyen Minh Truong

EAI Endorsed Trans. Context aware Syst. Appl., 2016

Modeling the Connections of Dynamic Sensor Fields Based on BT-Graph.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2016

A federation of simulations based on cellular automata in cyber-physical systems.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2016

Classification of objective interestingness measures.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2016

Clustering the objective interestingness measures based on tendency of variation in statistical implications.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2016

Currying Self-* Actions in Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation and Communication, 2016

Heuristic Solutions for the Lifetime Problem of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation and Communication, 2016

2015

An Introduction to the Book Titled Nature of Computation and Communication.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2015

Book Titled Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification: An Introduction.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2015

Finite Limits and Colimits in Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015

Products and Coproducts of Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015

2014

Self-Adaptation in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2014

Toward Formalized Autonomic Networking.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2014

Information and Service Integration Based on Agent-Oriented Ubiquitous Computing.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2014

A Learning-Based Approach for Web Cache Management.

[BibT_eX]

[DOI]

Areerat Songwattana

Thanaruk Theeramunkong

Mob. Networks Appl., 2014

An Introduction to the Book Titled "Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification".

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2014

FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2014

Welcome message from the Editor-in-Chief.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Context aware Syst. Appl., 2014

Self-adaptive Traits in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation and Communication - International Conference, 2014

Categorical Structures of Self-adaptation in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation and Communication - International Conference, 2014

Increasing the Quality of Medical Images Based on the Combination of Filters in Ridgelet Domain.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Vo Thi Hong Tuyet

Proceedings of the Nature of Computation and Communication - International Conference, 2014

2013

Coalgebraic Aspects of Context-Awareness.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2013

Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications.

[BibT_eX]

[DOI]

Jun Suzuki

Mob. Networks Appl., 2013

The Energy-Aware Operational Time of Wireless Ad-Hoc Sensor Networks.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2013

Coinductively Combinational Context-Awareness.

[BibT_eX]

[DOI]

Nguyen Kim Quoc

Proceedings of the Context-Aware Systems and Applications, 2013

Ultrasound Images Denoising Based Context Awareness in Bandelet Domain.

[BibT_eX]

[DOI]

Thanh Binh Nguyen

Vo Thi Hong Tuyet

Proceedings of the Context-Aware Systems and Applications, 2013

2012

Data Intensive Distributed Computing in Data Aware Self-organizing Networks.

[BibT_eX]

[DOI]

Cong-Vinh Phan

Trans. Comput. Sci., 2012

Functional Stream Derivatives of Context-Awareness on P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Power Save Protocol Using Chain Based Routing.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Formal Agent-Oriented Ubiquitous Computing: A Computational Intelligence Support for Information and Services Integration.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 4th Asian Conference, 2012

2011

Featured concurrency of mobile ad hoc computing.

[BibT_eX]

[DOI]

Proceedings of the MoMM'2011, 2011

2009

Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures.

[BibT_eX]

[DOI]

Proceedings of the Parallel Programming, Models and Applications in Grid and P2P Systems., 2009

Categorical Approaches to Models and Behaviors of Autonomic Agent Systems.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2009

Formal Aspects of Self-* in Autonomic Networked Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic Computing and Networking, 2009

2008

Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2008

2007

Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2007

A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2005

Continuity aspects of embedded reconfigurable computing.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2005

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004

2000

Protocol-based cooperation in a virtual manufacturing organization.

[BibT_eX]

Tomasz Janowski