200 search results - page 12 / 40 » Statistical Abstraction and Model-Checking of Large Heteroge... |
COLCOM
2009
IEEE
14 years 21 days ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...
WOA
2010
13 years 5 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
ICIAP
2007
ACM
14 years 8 months ago
2007
ACM
Research in visual surveillance systems is shifting from using few stationary, passive cameras to employing large heterogeneous sensor networks. One promising type of sensor in pa...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...