1980 search results - page 98 / 396 » Compositional Model Checking of Real Time Systems |
180
Voted
KESAMSTA
2010
Springer
15 years 4 months 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...
184
click to vote
ICPP
2002
IEEE
15 years 11 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...
184
click to vote
PDPTA
2004
15 years 7 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...
163
click to vote
TVCG
2012
13 years 8 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 ...
185
click to vote
IVA
2007
Springer
16 years 13 days 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...