1268 search results - page 11 / 254 » Verifying distributed systems: the operational approach |
FAC
2007
13 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
SERVICES
2008
13 years 11 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
MM
1994
ACM
14 years 1 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
AINA
2006
IEEE
14 years 3 months ago
2006
IEEE
In the network-centric approach to information operations, users share information robustly by means of a secure infrastructure that enables self-synchronization and, ultimately, ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...