4397 search results - page 678 / 880 » Relational Algebra Operations |
127
click to vote
SPIN
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
146
click to vote
VIZSEC
2005
Springer
16 years 5 hour ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
171
click to vote
VLDB
2005
ACM
16 years 5 hour ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
156
click to vote
VMCAI
2005
Springer
16 years 5 hour ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
123
click to vote
WDAG
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. Allowing read operations to return stale data with low probability has been proposed as a means to increase availability in quorums systems. Existing solutions that allow...