1980 search results - page 279 / 396 » Compositional Model Checking of Real Time Systems |
136
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
159
click to vote
DIGRA
2005
Springer
15 years 8 months ago
2005
Springer
Do computer simulation games display emergent behavior? Are they models of complex systems or ‘life’ systems? This paper aims to explore and investigate how games studies can ...
151
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
142
click to vote
CW
2002
IEEE
15 years 8 months ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
131
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper describes a system that can build appearance models of animals automatically from a video sequence of the relevant animal with no explicit supervisory information. The ...