1268 search results - page 114 / 254 » Verifying distributed systems: the operational approach |
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
A Web proxy must accurately predict network performance between itself and its servers and clients in order to make good distillation decisions. In this paper, we show that the cu...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
MIDDLEWARE
2009
Springer
15 years 2 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
100
click to vote
ICUMT
2009
14 years 7 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
DBISP2P
2003
Springer
15 years 3 months ago
2003
Springer
Databases have employed a schema-based approach to store and retrieve structured data for decades. For peer-to-peer (P2P) networks, similar approaches are just beginning to emerge,...