1980 search results - page 98 / 396 » Compositional Model Checking of Real Time Systems |
128
click to vote
KESAMSTA
2010
Springer
15 years 2 days ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
131
click to vote
ICPP
2002
IEEE
15 years 6 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
117
click to vote
PDPTA
2004
15 years 3 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
113
click to vote
TVCG
2012
13 years 4 months ago
2012
—A water drop behaves differently from a large water body because of its strong viscosity and surface tension under the small scale. Surface tension causes the motion of a water ...
134
click to vote
IVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a system which consists of a lifelike agent animated in real-time using video and audio analysis from the user. This kind of system could be used for Instant M...