257 search results - page 52 / 52 » The Generalized Deadlock Resolution Problem |
124
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
112
click to vote
CIKM
2011
Springer
14 years 7 days ago
2011
Springer
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...