81 search results - page 16 / 17 » Layered Composition for Timed Automata |
IJCSA
2007
13 years 8 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
CGF
2008
13 years 8 months ago
2008
The paper describes a technique to generate high-quality light field representations from volumetric data. We show how light field galleries can be created to give unexperienced a...
ICCAD
1997
IEEE
14 years 22 days ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
ECAI
1998
Springer
14 years 23 days ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
WS
2005
ACM
14 years 2 months ago
2005
ACM
The pervasiveness of wireless devices and the architectural organization of wireless networks in distributed communities, where no notion of trust can be assumed, are the main rea...