621 search results - page 92 / 125 » Model Checking Probabilistic Distributed Systems |
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...