1268 search results - page 95 / 254 » Verifying distributed systems: the operational approach |
146
click to vote
RTS
2008
15 years 5 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
158
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
169
click to vote
EDOC
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
154
click to vote
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a recovery protocol for block I/O operations in Slice, a storage system architecture for highspeed LANs incorporating network-attached block storage. The goal ...
137
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
: Studierstube is an operating system for applications in virtual reality. It supports multiple users collaborating in a distributed system. While initially developed for scientifi...