2432 search results - page 234 / 487 » High-level approach to modeling of observed system behavior |
162
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the problem of detecting masquerading, a security attack in which an intruder assumes the identity of a legitimate user. Many approaches based on Hidden Marko...
153
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
156
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
153
click to vote
3DPVT
2006
IEEE
16 years 19 days ago
2006
IEEE
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
193
click to vote
IEEEARES
2006
IEEE
16 years 18 days ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...