1402 search results - page 186 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
171
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
122
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
153
click to vote
IEEEMM
2002
15 years 3 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
157
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
241
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...