4350 search results - page 321 / 870 » Case studies for contract-based systems |
137
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
173
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
174
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
184
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
159
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a self-organizing sleep-wake sensor system that is scalable, easily implemented, and energy conserving. An application of concepts from cellular automata theory account...