1268 search results - page 53 / 254 » Verifying distributed systems: the operational approach |
164
Voted
SAC
2006
ACM
16 years 7 hour 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...
142
click to vote
SERP
2008
15 years 7 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...
170
click to vote
DSD
2006
IEEE
16 years 3 days 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...
167
click to vote
GROUP
2003
ACM
15 years 11 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...
158
click to vote
EMSOFT
2007
Springer
16 years 6 days 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...