123 search results - page 19 / 25 » Using Model Checking to Detect Deadlocks in Distributed Obje... |
SMA
2003
ACM
15 years 2 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...
CSREASAM
2006
14 years 11 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
106
click to vote
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
The visual effects of rain are complex. Rain consists of spatially distributed drops falling at high velocities. Each drop refracts and reflects the environment, producing sharp i...
184
click to vote
IWINAC
2011
Springer
14 years 12 days ago
2011
Springer
Abstract. One of the more important issues in intelligent video surveillance systems is the ability to handle events from the motion of objects. Thus, the classification of the tr...
104
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...