2853 search results - page 195 / 571 » Finding related tables |
158
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
175
click to vote
EGC
2005
Springer
16 years 4 days ago
2005
Springer
R-GMA (Relational Grid Monitoring Architecture) [1] is a grid monitoring and information system that provides a global view of data distributed across a grid system. R-GMA creates ...
176
click to vote
EGC
2005
Springer
16 years 4 days ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
127
click to vote
SPIN
2005
Springer
16 years 2 days 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...
167
Voted
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...