4397 search results - page 678 / 880 » Relational Algebra Operations |
102
Voted
SPIN
2005
Springer
15 years 9 months 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...
104
click to vote
VIZSEC
2005
Springer
15 years 9 months 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...
136
Voted
VLDB
2005
ACM
15 years 9 months 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...
110
Voted
VMCAI
2005
Springer
15 years 9 months 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 ...
WDAG
2005
Springer
15 years 9 months 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...