13917 search results - page 130 / 2784 » Abstraction of Probabilistic Systems |
115
click to vote
JELIA
2004
Springer
15 years 3 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...
138
click to vote
GBRPR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
NETWORKING
2004
14 years 11 months ago
2004
Probabilistic inference was shown effective in non-deterministic diagnosis of end-to-end service failures. Since exact probabilistic diagnosis is known to be an NP-hard problem, a...
108
click to vote
PERVASIVE
2011
Springer
14 years 24 days ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
ENTCS
2002
14 years 9 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...