2312 search results - page 221 / 463 » Invariance in Property Testing |
149
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
150
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
194
click to vote
SIBGRAPI
2003
IEEE
15 years 11 months ago
2003
IEEE
Content-Based Image Retrieval (CBIR) systems have been developed aiming at enabling users to search and retrieve images based on their properties such as shape, color and texture....
177
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
167
click to vote
3DPVT
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a method for protein structure comparison that is based on indexing. Unlike most methods using indexing, ours does not use invariants of the C atoms of th...