8828 search results - page 1475 / 1766 » Formal methods in practice |
174
click to vote
B
2007
Springer
16 years 28 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
166
click to vote
COREGRID
2007
Springer
16 years 28 days ago
2007
Springer
We address the problem of routing packets on multiple, router-disjoint, paths in the Internet using large-scale overlay networks. Multipath routing can improve Internet QoS, by rou...
163
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
157
click to vote
DCOSS
2007
Springer
16 years 28 days ago
2007
Springer
Localization is a fundamental problem in wireless sensor networks. In this paper, we consider how to localize individual nodes in a wireless sensor network when some subset of the...
160
click to vote
ERCIMDL
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the VIRGIL (Virtual Meeting Archival) system which was developed to provide a simple, practical, easy-to-use method for recording, indexing and archiving large...