10159 search results - page 1625 / 2032 » System Design Validation Using Formal Models |
162
click to vote
RAID
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
181
click to vote
SCL
2010
15 years 1 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
203
click to vote
GRAPHITE
2003
ACM
16 years 3 days ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
187
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
In this paper, we wish to build a high quality database of
images depicting scenes, along with their real-world threedimensional
(3D) coordinates. Such a database is useful
for ...