285 search results - page 2 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
EDOC
2006
IEEE
13 years 8 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
DEPCOS
2006
IEEE
13 years 11 months ago
2006
IEEE
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
SEUS
2007
IEEE
13 years 11 months ago
2007
IEEE
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...
ICT
2004
Springer
13 years 10 months ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...