3387 search results - page 596 / 678 » Model-Checking for Real-Time Systems |
JVCIR
2007
13 years 8 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
Good real time groupware products are hard to develop, in part because evaluating their support for basic teamwork activities is difficult and costly. To address this problem, we ...
CLUSTER
1999
IEEE
13 years 8 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
JVCA
2002
13 years 8 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
TOG
2002
13 years 8 months ago
2002
The digitization of the 3D shape of real objects is a rapidly expanding field, with applications in entertainment, design, and archaeology. We propose a new 3D model acquisition s...