3387 search results - page 213 / 678 » Model-Checking for Real-Time Systems |
208
Voted
ISORC
2005
IEEE
16 years 18 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
210
Voted
WORDS
2005
IEEE
16 years 18 days ago
2005
IEEE
Wireless devices that communicate using the IEEE 802.11 protocol can be used to create mobile ad-hoc networks (MANETs). Many interesting applications using MANETs are realizable i...
199
click to vote
VRST
2005
ACM
16 years 17 days ago
2005
ACM
In this paper we summarize the experiences we made with the implementation of a table tennis application. After describing the hardware necessities of our system we give insight i...
189
click to vote
CVBIA
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
220
click to vote
EPIA
2005
Springer
16 years 16 days ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...