550 search results - page 52 / 110 » A lightweight approach to state based security testing |
101
click to vote
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
COMPSEC
2004
14 years 9 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
115
click to vote
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
Project management traditionally has a strong focus on human reporting that fits well a tightly coupled form of organization to ensure the quality of project reporting. For loosel...
TIP
2002
14 years 9 months ago
2002
In this paper, a generic approach to simultaneous tracking and verification in video data is presented. The approach is based on posterior density estimation using sequential Monte...
AIPS
2004
14 years 11 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...