This journal is a place for highly original ideas about how CA is going to shape computing and communication of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions which break new ground in dealing with the properties of CA.
Its purpose is to make a formal basis more accessible to researchers, scientists, professionals and students as well as developers and practitioners in computer science by providing them with state-of-the-art research results and future opportunities and trends.
The feature scope of topics includes all aspects of CA in both computing and communication Original papers are solicited for this journal. In particular, theoretical contributions should be formally stated and justified, and practical applications should be based on their firm formal basis.
Suggested topics include, but are not limited to, the following:
Fundamentals of Context-aware systems:
Context-awareness (CA) has attracted increasing attention in computing and communication communities since it allows automatic adaptation of devices, systems, and applications to user's context change. The context is the information related to the situation of an entity such as the present status of people, places, things and devices in the environment.
An entity is a person, device, place, or object relevant to the interaction between a user and an application, such as location, time, activities, and services.
Context awareness allows for customization or creation of the application to match the preferences of the individual user, based on current context such as enterprise environment or home network.
Currently context has been considered as part of a process in which users are involved, hence specifying and developing context models are needed to support context-aware applications to
Context related to human factors is structured into three categories:
Likewise, context related to physical environment is structured into three categories:
Special Issue Editor: Athar Sethi
Phan Cong Vinh received a PhD in computer science from London South Bank University (LSBU) in the United Kingdom, a BS in mathematics and an MS in computer science from Vietnam National University (VNU) in Ho Chi Minh City, and a BA in English from Hanoi University of Foreign Languages Studies in Vietnam. He finished his PhD dissertation with the title of “Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems” supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with the Center for Applied Formal Methods (CAFM) at the Institute for Computing Research (ICR). He joined research with Dr. Tomasz Janowski at the International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. At present, he is an Associate Professor of Nguyen Tat Thanh University (NTTU) to take on the responsibility of a senior research scientist. He has been author or co-author of many refereed contributions published in prestigious journals, conference proceedings or edited books. He is the author of a book on computing science titled “Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing” (VDM, 2009); editor of two titles, “Autonomic Networking-on-Chip: Bio-Inspired Specification, Development and Verification” (CRC Press, 2012) and “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” (IGI Global, 2011); editor of Special Issues, “Context-Awareness of Mobile Systems: Models, Algorithms and Applications” (Springer MONET, 2012 (indexed in SCIE)) and “Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems” (Springer TCS, 2012). He has served on many conference program committees and has been general or technical (co)chair and (co)organizer of several international conferences such as a series of ICCASA and ICTCC. His research interests center on all aspects of formal methods, nature of computation and communication, and applied categorical structures in computer science.