1268 search results - page 53 / 254 » Verifying distributed systems: the operational approach |
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Collaborative filtering requires a centralized rating database. However, within a peer-to-peer network such a centralized database is not readily available. In this paper, we pro...
SERP
2008
13 years 11 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
DSD
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
GROUP
2003
ACM
14 years 3 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...