Filters








3 Hits in 1.7 sec

AFChecker: Effective model checking for context-aware adaptive applications

Yepang Liu, Chang Xu, S.C. Cheung
2013 Journal of Systems and Software  
Context-aware adaptive applications continually sense and adapt to their changing environments.  ...  A large body of such applications relies on user-configured adaptation rules to customize their behavior. We call them rule-based context-aware applications (or RBAs for short).  ...  We thank Shauna Dalton for her careful proof-reading. We also thank anonymous reviewers for their valuable comments and suggestions on earlier versions of this paper.  ... 
doi:10.1016/j.jss.2012.11.055 fatcat:zvzogoxqebbzfd7igiynppvukm

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Juan Carlos Augusto, Antonio Coronato
2015 Journal of Reliable Intelligent Environments  
This is especially true as designers are more and more using complex techniques for every component of the system and building systems which are made of increasingly heterogenous parts.  ...  Guo and Heckel [29] address modelling and analysis of context-aware scenarios for mobile applications by using UMLlike meta-models and graph transformation techniques.  ...  The explicitly modelled mobility and context aspects, like locations and network connections, can be used as a dynamic test environment for the context-aware applications. Kim et al.  ... 
doi:10.1007/s40860-015-0005-3 fatcat:kwqrccvuejacbhhgtauemvudzy

Engineering context-aware systems and applications: A survey

Unai Alegre, Juan Carlos Augusto, Tony Clark
2016 Journal of Systems and Software  
For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: A) Methodologies for developing context-aware systems, analysing the reasons behind their lack  ...  A list of 750 names of context-aware systems developers was gathered from the papers and used for contacting the contestants.  ...  Acknowledgements The authors would like to acknowledge the anonymous reviewers for the comments that have helped to improve the final result of this survey.  ... 
doi:10.1016/j.jss.2016.02.010 fatcat:fn6xuyniyvggjl7kjzy5jstvby