2874 search results - page 501 / 575 » Intrusion Detection: Systems and Models |
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
EMNETS
2007
14 years 1 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
IPCV
2007
13 years 11 months ago
2007
- An architecture system and a method for tracking people are presented for sports applications. The system’s input is video data from static camera and the output is the real wo...
DBSEC
2006
13 years 11 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...
HF
2002
13 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...