855 search results - page 82 / 171 » A Software Synthesis Tool for Distributed Embedded System De... |
APN
2010
Springer
14 years 1 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
In-network sensor query processing systems (ISQPs), or sensor databases, have been developed to acquire, process and aggregate data from wireless sensor networks (WSNs). Because W...
RSP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ASPDAC
2007
ACM
14 years 29 days ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...