1402 search results - page 186 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
205
click to vote
DAC
1995
ACM
15 years 9 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...
151
click to vote
HPCA
2009
IEEE
16 years 6 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...
183
click to vote
IEEEMM
2002
15 years 6 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 ...
189
click to vote
CSFW
2009
IEEE
15 years 10 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...
272
click to vote
GIS
2004
ACM
16 years 7 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...