1598 search results - page 302 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
Recently, mashups have emerged as an important class of Web 2.0 collaborative applications. Mashups can be conceived as personalized Web services which aggregate and manipulate dat...