1268 search results - page 5 / 254 » Verifying distributed systems: the operational approach |
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
DEXAW
2006
IEEE
14 years 3 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
CLUSTER
2008
IEEE
14 years 4 months ago
2008
IEEE
—Distributed file systems that use multiple servers to store data in parallel are becoming commonplace. Much work has already gone into such systems to maximize data throughput....
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
An Operational Information System (OIS) supports a real-time view of an organization’s information critical to its logistical business operations. A central component of an OIS ...