343 search results - page 5 / 69 » Behavioral Control for Real-Time Simulated Human Agents |
RTDB
2001
14 years 11 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...
96
Voted
CAV
2012
Springer
12 years 12 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
82
Voted
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
RTCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...