2841 search results - page 315 / 569 » A Call to Order |
157
click to vote
AIMS
2007
Springer
16 years 28 days ago
2007
Springer
Peer-to-peer overlay networks provide a useful infrastructure for building distributed applications. These networks provide efficient and fault-tolerant routing and object locating...
173
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...
168
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
154
click to vote
CSR
2007
Springer
16 years 28 days ago
2007
Springer
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
171
click to vote
DNA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Gene assembly in ciliates is an impressive computational process. Ciliates have a unique way of storing their genetic information in two fundamentally different forms wi...