EAI Endorsed Transactions on Context-aware Systems and Applications

EAI Endorsed Transactions on Context-aware Systems and Applications

Basic info

  • Publisher: European Alliance for Innovation
  • Country of publisher: belgium
  • Date added to EuroPub: 2019/Jun/07

Subject and more

  • LCC Subject Category: Computer and Information Science, Data Communication and Networks
  • Publisher's keywords: Context-Aware Models, Context-Aware Computing, Context-Aware Control, Context-Aware Technologies, Context-Aware Systems
  • Language of fulltext: english
  • Time from submission to publication: 7 weeks

Publication charges

  • Article Processing Charges (APCs): No
  • Submission charges: No
  • Waiver policy for charges? No

Open access & licensing

  • Type of License: CC BY
  • License terms
  • Open Access Statement: Yes
  • Year open access content began: 2014
  • Does the author retain unrestricted copyright? True
  • Does the author retain publishing rights? True

Best practice polices

  • Permanent article identifier: DOI
  • Content digitally archived in:
  • Deposit policy registered in: None

This journal has '81' articles

Welcome message from the Editor-in-Chief..

Welcome message from the Editor-in-Chief..

Authors: Phan Cong Vinh
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

On behalf of the Editorial board, we welcome you to the inaugural issue of the ICST Transactions on ContextAware Systems and Applications. We are delighted to launch this new transactions journal after a preparatory process that has received encouraging support from the Editorial Board and from ICST/EAI. This issue, with five papers, will serve as a reference material for researchers, scientists, professionals and students in computer science and computer engineering as well as developers and practitioners in computing and networking systems design by providing them with stateof-the-art research findings and future opportunities and trends. These papers include some recent advances in context-awareness reflected in this issue. In particular, the issue covers various aspects of context-awareness as follows: Paper 1 by Vangalur Alagar, Mubarak Mohammad, Kaiyu Wan and Sofian Alsalman Hnaide proposes a componentbased architecture for a Context-aware Framework in which context, awareness capabilities, reactions, and adaptations are formally dealt with. Two formal languages are designed to express context situations and express workflow policies, which respectively lead to a context reasoner and to enforce adaptations. With these formalisms and a component design that can be formalized, this work fulfills a formal approach to construct context-aware applications. Two case studies are explained, of which one is a proof-of-concept case study from service-oriented domain. It is fully implemented to illustrate the expressiveness of the framework design and robustness of its implementation.

Keywords: Welcome message from the Editor-in-Chief
A Framework for Developing Context-aware Systems

A Framework for Developing Context-aware Systems

Authors: Vangalur Alagar, Mubarak Mohammad, Kaiyu Wan, Sofian Alsalman Hnaide
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

Context-aware computing refers to a general class of mobile real-time reactive systems that continuously sense their physical environment, and adapt their behavior accordingly. Context-awareness is an essential inherent property of ubiquitous computing or pervasive computing systems. Such systems are much richer and more complex than many software systems. The richness mainly comes from context-awareness, the heterogeneity of mobile devices and their service types, while complexity arises in the multitude of adaptations enforced by system policies. In order to provide the true intended effect on the application of services without compromising on the richness, the complexity must be tamed. Towards this goal, this paper proposes a component-based architecture for a Context-aware Framework in which context, awareness capabilities, reactions, and adaptations are formally dealt with. Two formal languages are designed to express context situations and express workflow policies, which respectively lead to a context reasoner and to enforce adaptations.With these formalisms and a component design that can be formalized, this work fulfills a formal approach to construct context-aware applications. Two case studies are explained, of which one is a proof-of-concept case study from service-oriented domain. It is fully implemented to illustrate the expressiveness of the framework design and robustness of its implementation.

Keywords: Context-awareness, Context Reasoning, Adaptation, Framework,Component-based Architecture
Enrichment of Multi-criteria Communities for Context-aware Recommendations

Enrichment of Multi-criteria Communities for Context-aware Recommendations

Authors: Thuy Ngoc Nguyen, An Te Nguyen
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

Recommender systems are designed to help users alleviate the information overload problem by offering personalized recommendations. Most systems apply collaborative filtering to predict individual preferences based on opinions of like-minded people through their ratings on items. Recently, context-aware recommender systems (CARSs) are developed to offer users more suitable recommendations by exploiting additional context data such as time, location, etc. However, most CARSs use only ratings as a criterion for building communities, and ignore other available data allowing users to be grouped into communities. This paper presents a novel approach for exploiting multi-criteria communities to provide context-aware recommendations. The main idea of the proposed algorithm is that for a given context, the significance of multi-criteria communities could be different. So communities from the most suitable criteria followed by a learning phase are incorporated into the recommendation process.

Keywords: collaborative filtering, context-aware recommender system, matrix factorization; multi-criteria communities
Towards a Context-Aware Framework for Improving Collaboration of Users in Groupware Systems

Towards a Context-Aware Framework for Improving Collaboration of Users in Groupware Systems

Authors: Luis G. Montané-Jiménez, Edgard Benítez-Guerrero, Carmen Mezura-Godoy
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

A Context-Aware Groupware System (CAGS) enables the members of a team to communicate, cooperate and coordinate their activities to achieve a common goal, by providing them tools that are aware of their current execution context and adapt accordingly. CAGS can be found in several domains such as entertainment, particularly Collaborative First-Person-Shooter (FPS) video games. In CAGS, the means of collaboration traditionally provided to users (e.g. text and audio messaging) are not necessarily adequate: for instance, in a FPS, messages can distract the gamer due to the speed of the game. This paper reports a study that, for Collaborative FPS, identifies advantages/disadvantages of current means of collaboration and social behaviors that arise when players interact face-to-face or remotely. Based on this study, a context-aware conceptual model and architecture is proposed for CAGS aimed to improve user collaboration.

Keywords: Context-Awareness, Groupware Systems, Video Games
Chronological states of viewer’s intentions using hidden Markov models and features of eye movement

Chronological states of viewer’s intentions using hidden Markov models and features of eye movement

Authors: Minoru Nakayama, Naoya Takahashi
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

To determine the possibility of predicting viewer’s internal states using the hidden Markov model, several features of eye movements were introduced to the model. Performance was measured using the data from a set of eye movement features recorded during recall tests which consisted of observations of three levels of task difficulty. The features were the temporal appearances of fixations and saccades, and combinations of 8 viewed directions during long and short eye movements. As a result, features of long eye movements, such as saccade information, contributed to prediction accuracy. Also, this prediction accuracy was regulated by the difficulty of the task.

Keywords: User intention, hidden Markov model, features of eye movements
Improving Control Mechanism at Routers in TCP/IP Network

Improving Control Mechanism at Routers in TCP/IP Network

Authors: Nguyen Kim Quoc, Vo Thanh Tu, Nguyen Thuc Hai
Year: 2014, Volume: 1, Number: 1
(0 downloads)
Abstract

The existing control mechanisms at the network nodes have a good active and very effective at each local router, but they do not still strong enough to control nonlinear and dynamical behaviour of the network. Therefore, the control system requirements must be designed to be flexible to fully grasp the important status information of the variation and intelligent control methods to control network congestion in nonlinear network. To solve this problem, we propose a solution combined fuzzy reasoning with neural network control put on active queue management mechanisms at the network nodes

Keywords: Congestion Control, Active Queue Management, Fuzzy Logic, Neural Network
FoCAS Project's Interview with Dr. Phan Cong Vinh, ICCASA 2013 General Chair

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

Authors: Phan Cong Vinh
Year: 2014, Volume: 1, Number: 2
(0 downloads)
Abstract

Dr. Phan Cong Vinh, Nguyen Tat Thanh University in Vietnam, General Chair of the 2nd International Conference on Context-Aware Systems and Applications (ICCASA 2013) shares with Prof. Giacomo Cabri, a FoCAS project's member, his reflections on collective adaptive systems and applications. Dr. Vinh answers to the four questions highlighting his current role, the important topics in the field of collective adaptive systems, the specific challenges to be faced and underlining a long-term impact of this research in terms of applications

Keywords: FoCAS Project's Interview, Dr. Phan Cong Vinh, ICCASA 2013 General Chair
A Context-dependent Service Model

A Context-dependent Service Model

Authors: Naseem Ibrahim, Vangular Alagar, Mubarak Mohammmed
Year: 2014, Volume: 1, Number: 2
(0 downloads)
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 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.

Keywords: ConfiguredService Model, Context-dependence, Trustworthy Services, Composition Methods, Formal Verification
Formal Modeling and Verification of Context-Aware Systems using Event-B

Formal Modeling and Verification of Context-Aware Systems using Event-B

Authors: Hong Anh Le, Ninh Thuan Truong
Year: 2014, Volume: 1, Number: 2
(0 downloads)
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 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.

Keywords: context awareness, refinement-based modeling, verification, Event-B
Mobile Agent Communication in Highly Dynamic Networks: A Self-Adaptive Architecture inspired by the Honey Bee Colony

Mobile Agent Communication in Highly Dynamic Networks: A Self-Adaptive Architecture inspired by the Honey Bee Colony

Authors: Phuong T. Nguyen, Volkmar Schau, Wilhelm R. Rossak
Year: 2014, Volume: 1, Number: 2
(0 downloads)
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, 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.

Keywords: Context-Awareness, Mobile Agents, Agent Communication
An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”

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

Authors: Phan Cong Vinh
Year: 2014, Volume: 1, Number: 2
(0 downloads)
Abstract

Dr. Phan Cong Vinh, Nguyen Tat Thanh University in Vietnam, introduces the book titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” edited by himself and published by IGI Global in 2011 to scientists, researchers, professionals and students in the field of computing. Hopefully, they will find this book provoking for their research related to autonomics and being useful to their future work. Introduction A new computing and networking paradigm is currently on the spot as one of the priority research areas and its research activities are booming recently: autonomic computing and networking (ACN), which are inspired by the human autonomic nervous system. ACN are characterized by their self-* facets such as selforganization, self- configuration, self-healing, selfoptimization, self-protection and so on whose contextawareness used to dynamically control computing and networking functions. The overarching goal of ACN is to realize computing and networking systems, that can manage themselves without direct human interventions. Meeting this grand challenge of ACN requires a rigorous approach to ACN and the notion of self-*. To this end, taking advantage of formal methods we establish, in this book, formal and practical aspects of ACN through specifying, refining, programming and verifying ACN and their self-*. All of these are to achieve foundations and practice of ACN. From the above characteristics, novel approaches of specification, refinement, programming and verification are arising in formal methods for ACN. Therefore, new methodologies, programming models, tools and techniques are imperative to deal with the impact of ACN and their self-* mentioned above on emerging computing and networking systems. This book [1] is preferred to be a reference material for readers who already have a basic understanding of ACN and are now ready to know how to specify, develop and verify ACN using rigorous approaches. Hence, the book includes both theoretical contributions and reports on applications. For keeping a reasonable trade-off between theoretical and practical issues, a careful selection of the chapters was completed, on the one hand, to cover a broad spectrum of formal and practical aspects and, on the other hand, to achieve as much as possible a selfcontained book.

Keywords: Introduction, Formal and Practical Aspects
Modified Virtual Air Guitar: A Concept Realized using Image Processing Techniques

Modified Virtual Air Guitar: A Concept Realized using Image Processing Techniques

Authors: J. R. Santiago, S. J. Samuel, R. Sawn
Year: 2015, Volume: 2, Number: 3
(0 downloads)
Abstract

Even amidst the hustle and bustle of busy lives, numerous people dream of playing a musical instrument. Unfortunately, many may never get a chance to touch one. But this doesn’t stop them from ‘air drumming’ or playing ‘air guitar’ passionately while listening to their favorite tunes. To encourage this passion for music, especially in the absence of a real instrument, we introduce to you the Virtual Air Guitar. This application allows one to showcase their guitar skills, regardless of their knowledge of playing a real guitar. It uses color tracking to detect inputs and a sound module incorporating the Karplus Strong algorithm to generate musical notes as an output. As a result, a simple webcam and brightly colored gloves are required to use the application. This application has enormous potential as a base for interactive guitar games, teaching music, and of course, to compose guitar based songs.

Keywords: Virtual Air Guitar (VAG), Image Processing, Color Tracking, Karplus Strong Algorithm (KSA)
Applying Log Data to Context-Awareness in Home Network System

Applying Log Data to Context-Awareness in Home Network System

Authors: Yuichi Watanabe, Shinsuke Matsumoto, Sachio Saiki, Masahide Nakamura
Year: 2015, Volume: 2, Number: 3
(0 downloads)
Abstract

In the conventional context-aware services of the home network system (HNS), every context has been defined by current (or recent) situations only. Considering past situations in a house would significantly extend the expressive power of the context-aware services. In this paper, we propose a new type of context, called log context, by using house log of the HNS, extensively. The log context is defined with both the current and past situations, where the current situation is obtained by sensors or device status of the HNS while the past situations are derived by queries to the house log. We also develop a system that can derive the log contexts within an actual HNS. To manage individual log contexts efficiently, the system is designed by four layers: application layer, log context layer, log query layer, and DB connector layer. To evaluate the execution performance of our system, we have conducted an experiment which measures execution time of some variety of log queries.

Keywords: home network system, context-aware service, house log
On Sustaining Dynamic Adaptation of Context-Aware Services

On Sustaining Dynamic Adaptation of Context-Aware Services

Authors: Boudjemaa Boudaa, Slimane Hammoudi, Abdelkader Bouguessa, Leila Amel Mebarki, Mohammed Amine Chikh
Year: 2015, Volume: 2, Number: 3
(0 downloads)
Abstract

The modern human is getting more and more mobile having access to online services by using mobile cutting-edge computational devices. In the last decade, the field of context-aware services had led to emerge several works. However, most of the proposed approaches have not provided clear adaptation strategies in case of unforeseen contexts. Dealing with this last at runtime is also another crucial need that has been ignored in their proposals. This paper aims to propose a generic dynamic adaptation process as a phase in a model-driven development life-cycle for context-aware services using the MAPE-K control loop to meet the runtime adaptation. This process is validated by implementing an illustrative application on FraSCAti platform. The main benefit of the proposed process is to sustain the self-reconfiguration of such services at model and code levels by enabling successive dynamic adaptations depending on the changing context.

Keywords: Context-Aware Service, Dynamic Adaptation, Model-Driven Development, MAPE-K
A 802.22b protocol for inter/intra WRAN communication

A 802.22b protocol for inter/intra WRAN communication

Authors: Carla Passiatore, Pietro Camarda
Year: 2015, Volume: 2, Number: 3
(0 downloads)
Abstract

In this paper we focus on cognitive 802.22b Wireless Regional Area Networks (WRANs). In particular a protocol, named inter intra-resource sharing algorithm (2I-RSA), is presented to address the problem of self coexistence for WRANs and secondary users of the WRAN. The purpose of the proposed resource sharing mechanism is to allow P2P communications avoiding interference among users of the same network or of neighbouring cells, optimizing, at the same time, fairness and network capacity.

Keywords: cognitive networks, 802.22b, fair spectrum allocation,Intra-cell communication, Inter-cell communication, TV white space

About Europub

EuroPub is a comprehensive, multipurpose database covering scholarly literature, with indexed records from active, authoritative journals, and indexes articles from journals all over the world. The result is an exhaustive database that assists research in every field. Easy access to a vast database at one place, reduces searching and data reviewing time considerably and helps authors in preparing new articles to a great extent. EuroPub aims at increasing the visibility of open access scholarly journals, thereby promoting their increased usage and impact.