446 search results - page 7 / 90 » How was your day |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—802.11 localization algorithms provide the ability to accurately position and track wireless clients thereby enabling location-based services and applications. However, we show ...
DBPL
2009
Springer
14 years 2 months ago
2009
Springer
HVC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
MDM
2007
Springer
14 years 1 months ago
2007
Springer
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
