About
|
Contact Us
|
Register
|
Login
Proceedings
Series
Journals
Search
EAI
ISSN:
2409-0026
Submit Article
Submission Instructions
Ethics and Malpractice Statement
Back to Journal Page
2024
Issue 1
2024
Issue 1
2022
Issue 1
2020
Issue 23
Issue 22
Issue 21
Issue 20
2019
Issue 19
Issue 18
Issue 17
Issue 16
2018
Issue 15
2017
Issue 14
Issue 13
Issue 12
Issue 11
2016
Issue 10
Issue 9
Issue 8
Issue 7
2015
Issue 6
Issue 5
Issue 4
Issue 3
2014
Issue 2
Issue 1
EAI Endorsed Transactions on Context-aware Systems and Applications
Issue 2, 2014
Editor(s)-in-Chief:
Phan Cong Vinh
Articles
Information
Welcome message from the Editor-in-Chief
Appears in:
casa
14
(
2
)
:
e1
Author:
Phan Cong Vinh
Abstract:
more »
FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair
Appears in:
casa
14
(
2
)
:
e2
Author:
Phan Cong Vinh
Abstract:
more »
A Context-dependent Service Model
Appears in:
casa
14
(
2
)
:
e3
Authors:
Naseem Ibrahim, Vangular Alagar, Mubarak Mohammmed
Abstract:
In service-oriented systems a service invariably is bound to a contract. This contract includes the functionalities and quality of services guarantees that the provider can make. But such guarantees a
...
re not absolute. A service cannot guarantee its contract in all situations. It can only guarantee i…In service-oriented systems a service invariably is bound to a contract. This contract includes the functionalities and quality of services guarantees that the provider can make. But such guarantees are not absolute. A service cannot guarantee its contract in all situations. It can only guarantee its contract in a predefined set of conditions. These conditions are usually related to the context of the service provider and requester. Yet, most of service-oriented applications use only service functionality as the basis of providing services and building system compositions. To remedy this situation, in this article both functionality and contract of a service are integrated into a single concept, called ConfiguredService, and formalized as a higher-order data type. The service part that includes the functionality, nonfunctional properties, service parameters, and data of the service requester, is loosely coupled to the contract part that includes trustworthiness claims, legal and business rules governing the service provision, and the context information pertaining to the provider and receiver. This loose coupling allows the creation of many ConfiguredServices, which share the same functionality but possess different contract parts. To facilitate dynamic service adaptation, we introduce a syntax and semantics for extending or modifying a ConfiguredService. more »
more >>
Formal Modeling and Verification of Context-Aware Systems using Event-B
Appears in:
casa
14
(
2
)
:
e4
Authors:
Hong Anh Le, Ninh Thuan Truong
Abstract:
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in th
...
e development as they are complex and uncertain. In this paper, we propose an approach to use a f…Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a formal method Event-B to model and verify such systems. First, we specify a context aware system’s components such as context data entities, context rules, context relations by Event-B notions. In the next step, we use the Rodin platform to verify the system’s desired properties such as context constraint preservation. It aims to benefit from natural representation of context awareness concepts in Event-B and proof obligations generated by refinement mechanism to ensure the correctness of systems. We illustrate the use of our approach on a scenario of an Adaptive Cruise Control system. more »
more >>
Mobile Agent Communication in Highly Dynamic Networks: A Self-Adaptive Architecture inspired by the Honey Bee Colony
Appears in:
casa
14
(
2
)
:
e5
Authors:
Phuong T. Nguyen, Volkmar Schau, Wilhelm R. Rossak
Abstract:
Communication is considered as a building block for mobile agent systems. In highly dynamic networks, thanks to environmental stimuli such as changes in connection quality and network topology, perfor
...
mance of communication between mobile agents may be degraded considerably.With focus on attaining …Communication is considered as a building block for mobile agent systems. In highly dynamic networks, thanks to environmental stimuli such as changes in connection quality and network topology, performance of communication between mobile agents may be degraded considerably.With focus on attaining fault tolerance and reliability, we propose a context-aware architecture for agent communication model inspired by the honey bee colony. To validate the hypothesis, a software prototype has been designed and implemented according to the proposed mechanism. Encouraging experimental results on a test system show that our approach brings benefits to a colony of agent platforms. more »
more >>
An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”
Appears in:
casa
14
(
2
)
:
e6
Author:
Phan Cong Vinh
Abstract:
more »
Scope
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 br
...
eak new ground in dealing with the properties of CA. Its purpose is to make a formal basis more acc…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. more »
more >>
Topics
The works that will be presented in the journal will focus on the following topics: Context-awareness of Computation and Communication Fundamentals: • Context-aware models • Context-aware control • Co
...
ntext-aware algorithms • Context-aware networks • Context-aware compu…The works that will be presented in the journal will focus on the following topics: Context-awareness of Computation and Communication Fundamentals: • Context-aware models • Context-aware control • Context-aware algorithms • Context-aware networks • Context-aware computing • Context-awareness calculi • Context-awareness representation • Context-awareness-based systems • Logic in context-awareness • Context-awareness reasoning • Formal methods of context-awareness • Context-awareness-based optimization and swarm Intelligence • Theory, computational models and algorithms in context detection for computing • Awareness of context in collaboration or crowdsourcing • Context recognition and artificial intelligence (AI) • Privacy issues Context-aware Systems: • Routing, transport, and reliability issues of context-aware systems • Data dissemination and replication in context-aware systems • Applications and middleware support, mobile social networking applications • Mobility models and statistical analysis of mobility traces • Context and social awareness mechanisms and algorithms • Co-existence of opportunistic networks with infrastructure mobile wireless networks • Service composition in autonomic and opportunistic networks • Cognition-driven information processing and decision making • Performance modeling, scaling laws, and fundamental limits for autonomic and opportunistic communications • Game-theoretic insights into the operation of autonomic and opportunistic networks • Participatory and urban sensing in autonomic and opportunistic networks • Trust, security, and reputation in context-aware systems • Autonomic and opportunistic communication testbeds and prototypes, measurement data from real experiments • Socio-economic models for autonomic and opportunistic communications • Mobile data measurement and collection platforms for context detection • Automated systems to model and detect context Context-aware Technologies and Applications • Context-aware information retrieval • Context-aware profiling, clustering, and collaborative filtering • Machine learning for context-aware information retrieval and ontology learning • Context-aware e-learning/tutoring • Ubiquitous and context-aware computing • Use of context-aware technologies in UI/HCI • Context-aware advertising • Recommendations for mobile users • Context-awareness in portable devices • Context-aware services • Social Agents and Avatars • Emotion and Personality • Virtual Humans • Autonomous Actors • Awareness-based Animation • Social and Conversational Agents • Inter-Agent Communication • Social Behavior • Crowd Simulation • Understanding Human Activity • Memory and Long-term Interaction • Context representations and signal characteristics that describe and identify the context • Context detection algorithms/approaches using data collected with mobile devices, wearable devices, and pervasive sensors (e.g. RF sensors) • User studies and evaluation techniques for context detection • The novel use of context information in computing applications • Integration of context into lifelogging applications. • Applications of context information for the work-life balance, for a healthier life and behavior • Applications of context information in situational or social awareness • Application of context information in health care • Applications of context information in industrial production • Applications of context information in pervasive games • Applications of context information in mobile multimedia devices Nature of Computation and Communication • autonomic computing/communicating • Amorphous computing • Artificial Intelligence • Artificial immune computing • Artificial Life • Artificial neural computing • Big data • Biologically-inspired computing/communicating • Cellular automata • Cellular computing • Collective intelligence in computing/communicating • Collision-based computing • Computation/communication based on chaos and dynamical systems • Computation based on physical principles such as relativistic, optical, spatial, collision-based computing • Cognitive computing • Context-aware computing/communicating • Data Mining • DNA computing • Evolutionary computing • Fractal geometry • Fuzzy computing • Hypercomputation • Image Processing • Machine Learning • Massive parallel computing • Membrane computing • Molecular computing • Morphological computing • Natural Language Processing • Optical computing/communicating • Physarum computing • Quantum computing/communicating • Relativistic computing • Spatial computing • Swarm intelligence in computing/communicating • Wetware computing more »
more >>
Indexing
DOAJ DBLP CrossRef [OCLC Discovery Services](https://www.worldcat.org/title/eai-endorsed-transactions-on-context-aware-systems-and-applications/oclc/947091… DOAJ DBLP CrossRef OCLC Discovery Services
...
EuroPub Publons MIAR Dimensions UlrichsWEB Hellenic Academic Libraries Link Ingenta Connect Computing Database (ProQuest) Publicly Available Content Database (ProQuest) SciTech Premium Collection (ProQuest) ProQuest Central Student Google Scholar more »
more >>
Editorial Board
Abdur Rakib (The University of Nottingham, UK, Malaysia Campus) Adina Magda Florea (University Politehnica of Bucharest, Romania) Ashad Kabir (Swinburne University of Technology, Australia) Chien-Chih
...
Yu (National ChengChi University, Taiwan) David Sundaram (University of Auckland, NZ) … Abdur Rakib (The University of Nottingham, UK, Malaysia Campus) Adina Magda Florea (University Politehnica of Bucharest, Romania) Ashad Kabir (Swinburne University of Technology, Australia) Chien-Chih Yu (National ChengChi University, Taiwan) David Sundaram (University of Auckland, NZ) Emil Vassev (University of Limerick, Ireland) Giacomo Cabri (Università di Modena e Reggio Emilia, Italy) Giovanna Di Marzo Serugendo (University of Geneva, Switzerland) Giuseppe De Pietro (ICAR-CNR, Italy) Kurt Geihs (University of Kessel, Germany) Mirko Viroli (University of Bologna, Italy) Ondrej Krejcar (University of Hradec Kralove, Czech Republic) Vangalur Alagar (Concordia University, Canada) Muhammad Athar Javed Sethi (University of Engineering and Technology Peshawar Pakistan) Yaser Jararweh (Jordan University of Science and Technology, Jordan) more »
more >>
Journal Blurb
Visit the new journal website to submit and consult our contents: https://publications.eai.eu/index.php/casa/indexVisit the new journal website to submit and consult our contents: https://publications
...
.eai.eu/index.php/casa/index more »
more >>
Publisher
ICST
ISSN
2409-0026
Volume
1
Published
2014-12-16