13917 search results - page 110 / 2784 » Abstraction of Probabilistic Systems |
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
69
Voted
EUC
2008
Springer
14 years 11 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
WLAN location determination systems are gaining increasing attention due to the value they add to wireless networks. In this paper, we present a multivariate analysis technique fo...