2043 search results - page 196 / 409 » Reasoning About Security Models |
193
click to vote
EUROSSC
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
170
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
178
click to vote
AIEDAM
2000
15 years 6 months ago
2000
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
154
click to vote
AI
1998
Springer
15 years 5 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
187
click to vote
HAIS
2010
Springer
15 years 11 months ago
2010
Springer
One of the most serious security threats to recently deployed databases has been the SQL Injection attack. This paper presents an agent specialised in the detection of SQL injectio...