2282 search results - page 257 / 457 » Active property checking |
217
click to vote
DALT
2010
Springer
15 years 1 days ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
147
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
157
Voted
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
In this paper, we present a region-based deformable cylinder model, extending the work on classical region-based active contours and gradient-based ribbon snakes. Defined by a cent...
125
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
106
click to vote
ICNS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Passive network monitoring that observes user traffic has many advantages over active monitoring that uses test packets. It can provide characteristics of real user tra...