2042 search results - page 101 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
ISMIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
FORTE
2001
13 years 10 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
ICCV
2007
IEEE
13 years 10 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...