4511 search results - page 338 / 903 » Observation Based System Security |
188
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The existing credit-based mechanisms mainly focus on stimulating the rational packet droppers to relay other nodes' packets, but they cannot identify the irrational packet dro...
147
click to vote
ITP
2010
15 years 10 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
221
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
160
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper presents a new technique to estimate the extrinsic parameters of a robot-vision sensor system. More in general, this technique can be adopted to calibrate any robot ...
215
click to vote
IJSNET
2007
15 years 6 months ago
2007
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...