819 search results - page 89 / 164 » Using Assumptions to Distribute CTL Model Checking |
157
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
This paper addresses the problem of determining the node locations in ad-hoc sensor networks when only connectivity information is available. In previous work, we showed that the ...
127
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—One of the most common and important applications of wireless sensor networks is target tracking. We study it in its most basic form, assuming the binary sensing model in which ...
167
click to vote
AIPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
131
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
145
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Our goal is to develop a robust out-of-core sorting program for a distributed-memory cluster. The literature contains two dominant paradigms for out-of-core sorting algorithms: me...