2874 search results - page 377 / 575 » Intrusion Detection: Systems and Models |
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
165
click to vote
AROBOTS
2002
15 years 6 months ago
2002
This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video color camera and a stereo-vision system. We focus on the interest of such ...
183
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
160
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we investigate the problem of automatic audio surveillance. This aspect of the surveillance, which extends the more investigated area of video surveillance, can be ...
179
click to vote
SACMAT
2006
ACM
16 years 15 days ago
2006
ACM
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...