4164 search results - page 58 / 833 » Timing model reduction for hierarchical timing analysis |
IVA
2007
Springer
14 years 3 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...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The effective management of a service organization requires measuring system performance on many attributes. Customer waiting time is inherent to nearly all service operations and...
FUIN
2006
13 years 9 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
ISORC
2003
IEEE
14 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 ...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...