Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Proceedings of the 2009 international conference on Pervasive services
Physical interaction in pervasive computing: formal modeling, analysis and verification
Proceedings of the 2009 international conference on Pervasive services
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
A middleware architecture for safety critical ambient intelligence applications
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Context Inference Engine (CiE): Inferring Context
International Journal of Advanced Pervasive and Ubiquitous Computing
Hi-index | 0.00 |
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfortunately, the research in this field can still be considered in its infancy. ...