Communicating sequential processes
Communicating sequential processes
Compositional semantics for real-time distributed computing
Information and Computation
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Sumatra: A Language for Resource-Aware Mobile Programs
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Validating Real-Time Constraints in Embedded Systems
PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
Spatial Programming Using Smart Messages: Design and Implementation
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Distributed Algorithms for Cooperative Control
IEEE Pervasive Computing
Hi-index | 0.00 |
Rapid strides in technology have lead to pervasive computing in a spectrum of applications such as crisis management systems, distributed critical systems, medical therapy systems, home entertainment etc. One of the common features in the spectrum of applications has been the reactivity of the systems and context of the environments. The environmental context has become highly sophisticated due to rapid advances in sensor technology and deployment. In this paper, we propose a reactive framework to enable the development of pervasive computing applications for different context environments. One of the novelties has been to use contexts as observables between components. Some of the context features that are observable are: the classical communications, termination, clock-time, suspension of actions based on presence or absence of signals, location, resource parameters, etc. The new observables provide a framework for the development of appropriate flexible middleware for a spectrum of applications. Further, it leads to the development of an implementational model for a spectrum of applications that can be effectively hooked onto available component implementations with appropriate interfaces. The new observables are suspensive in nature with respect to communications and locations and allow to model varieties of distributed applications that include sensor technology, wireless environments etc.