15494 search results - page 2784 / 3099 » Computing dynamic clusters |
167
click to vote
PVM
2007
Springer
16 years 24 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
199
click to vote
RAID
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
153
click to vote
RAID
2007
Springer
16 years 24 days ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
218
click to vote
ROBOCUP
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a robust tracking system for autonomous robots equipped with omnidirectional cameras. The proposed method uses a 3D shape and color-based object model. This all...
187
click to vote
SG
2007
Springer
16 years 24 days ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...