Sciweavers

930 search results - page 2 / 186
» Modelling Control Systems in an Event-Driven Coordination La...
Sort
View
SEUS
2007
IEEE
13 years 11 months ago
Event-Driven Power Management for Wireless Sensor Networks
In this paper we propose event-driven power management techniques for wireless sensor networks. To accomplish this we model a sensor network application as a set of application-spe...
Sang Hoon Lee, Byong-Ha Cho, Lynn Choi, Sun-Joong ...
RTSS
1993
IEEE
13 years 9 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
OOPSLA
2004
Springer
13 years 10 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
ICCS
2003
Springer
13 years 10 months ago
Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
Susmit Bagchi, Mads Nygaard
HYBRID
2004
Springer
13 years 10 months ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...