Sciweavers

292 search results - page 2 / 59
» Reactive Context-Aware Programming
Sort
View
AMI
2009
Springer
15 years 1 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
COORDINATION
2008
Springer
14 years 11 months ago
An Event-Based Coordination Model for Context-Aware Applications
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
Angel Núñez, Jacques Noyé
JUCS
2006
135views more  JUCS 2006»
14 years 9 months ago
Visualization Services in a Conference Context: An Approach by RFID Technology
: Ambient Intelligent (AmI) vision is a new concept materialized by the Six Framework Program of the European Community. It involves three key technologies: Ubiquitous Computing, U...
José Bravo, Ramón Hervás, Ino...
SRDS
2008
IEEE
15 years 4 months ago
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
Devdatta Kulkarni, Anand Tripathi
MATA
2005
Springer
169views Communications» more  MATA 2005»
15 years 3 months ago
Widget Integration Framework for Context-Aware Middleware
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...
Eun-Seok Ryu, Jeong-Seop Hwang, Chuck Yoo