346 search results - page 64 / 70 » Propagating Probabilities in System P |
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The Call admission control (CAC) is one of the Radio Resource Management (RRM) techniques that plays influential role in ensuring the desired Quality of Service (QoS) to the users...
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
IPSN
2004
Springer
14 years 3 months ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
MOBIQUITOUS
2008
IEEE
14 years 4 months ago
2008
IEEE
VESPA (Vehicular Event Sharing with a mobile P2P Architecture) 1 is a system for enabling vehicles to share information in vehicular ad-hoc networks (VANETs). The originality of V...