1268 search results - page 31 / 254 » Verifying distributed systems: the operational approach |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
ICASSP
2009
IEEE
13 years 7 months ago
2009
IEEE
We consider the problem of configuring classifier trees in distributed stream mining system. The configuration involves selecting appropriate false-alarm detection tradeoffs for e...
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
EDCC
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents the design and implementation of the Distributed Autonomous Replication Management (DARM) framework built on top of the Spread group communication system. The ...