Sciweavers

292 search results - page 2 / 59
» Reactive Context-Aware Programming
Sort
View
AMI
2009
Springer
13 years 9 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
13 years 7 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»
13 years 5 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
14 years 5 days 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»
13 years 11 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