Sciweavers

4511 search results - page 17 / 903
» Observation Based System Security
Sort
View
NSPW
2006
ACM
15 years 5 months ago
Dark application communities
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
Michael E. Locasto, Angelos Stavrou, Angelos D. Ke...
FORTE
2004
15 years 1 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard
FUIN
2006
66views more  FUIN 2006»
14 years 11 months ago
Observation of String-Rewriting Systems
In most models of computation, a device performs some type of process, and only some final output is regarded as the result. In adding an observer to such a device, one can obtain ...
Matteo Cavaliere, Peter Leupold
DSRT
2008
IEEE
15 years 6 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
15 years 6 months ago
Systems and algorithms for autonomously simultaneous observation of multiple objects using robotic PTZ cameras assisted by a wid
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...
Yiliang Xu, Dezhen Song