Sciweavers

5638 search results - page 340 / 1128
» On presence
Sort
View
SSS
2007
Springer
16 years 27 days ago
Global Predicate Detection in Distributed Systems with Small Faults
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
Felix C. Freiling, Arshad Jhumka
SSS
2007
Springer
102views Control Systems» more  SSS 2007»
16 years 27 days ago
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
Abstract. In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the cloc...
Jaap-Henk Hoepman, Andreas Larsson, Elad Michael S...
STACS
2007
Springer
16 years 27 days ago
Associative-Commutative Deducibility Constraints
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
Sergiu Bursuc, Hubert Comon-Lundh, Stéphani...
UCS
2007
Springer
16 years 27 days ago
Instant Learning Sound Sensor: Flexible Real-World Event Recognition System for Ubiquitous Computing
We propose a smart sound sensor for building context-aware systems that instantly learn and detect events from various kinds of everyday sounds and environmental noise by using sma...
Yuya Negishi, Nobuo Kawaguchi
3DPVT
2006
IEEE
236views Visualization» more  3DPVT 2006»
16 years 26 days ago
Multiple Camera Calibration Using Robust Perspective Factorization
In this paper we address the problem of recovering structure and motion from a large number of intrinsically calibrated perspective cameras. We describe a method that combines (1)...
Andrei Zaharescu, Radu Horaud, Rémi Ronfard...