592 search results - page 66 / 119 » CTL Model Update: Semantics, Computations and Implementation |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
PUC
2002
13 years 10 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
CGF
2008
13 years 10 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
ATAL
2008
Springer
14 years 8 days ago
2008
Springer
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...