285 search results - page 2 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
66
Voted
EDOC
2006
IEEE
15 years 1 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
15 years 3 months ago
2006
IEEE
ISORC
2005
IEEE
15 years 3 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...
111
click to vote
SEUS
2007
IEEE
15 years 3 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
15 years 2 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 ...