1268 search results - page 46 / 254 » Verifying distributed systems: the operational approach |
JSAC
2007
13 years 9 months ago
2007
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
USS
2008
14 years 7 days ago
2008
We explore the problem of secret-key distribution in unidirectional channels, those in which a sender transmits information blindly to a receiver. We consider two approaches: (1) ...
TSMC
2002
13 years 9 months ago
2002
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
HPCA
2008
IEEE
14 years 10 months ago
2008
IEEE
Multiprocessor computer systems are currently widely used in commercial settings to run critical applications. These applications often operate on sensitive data such as customer ...