1097 search results - page 139 / 220 » Sequential Object Monitors |
153
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
160
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
166
click to vote
IOLTS
2003
IEEE
15 years 11 months ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
150
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...
133
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...