Sciweavers

IC
2004
13 years 6 months ago
Personal Assistant: A Case Study on Web Service vs. Web Based Application
ct Non-blocking operation based on pre-determined schedule has many applications. We have created a Personal Assistant system that is able to send out email notification according ...
Guoliang Qian, Jing Zou, Bon K. Sy
FM
1997
Springer
126views Formal Methods» more  FM 1997»
13 years 8 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
SAC
2003
ACM
13 years 9 months ago
TinyGALS: A Programming Model for Event-Driven Embedded Systems
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
Elaine Cheong, Judith Liebman, Jie Liu, Feng Zhao