3 search results - page 1 / 1 » A formal communication model for lookup operations in a hype... |
COLCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
P2P data stores achieve high data availability by introducing replication of data. As a consequence, searching data may require to follow several routing paths introducing additio...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
FAC
2007
13 years 4 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...