33356 search results - page 94 / 6672 » Models of Continual Computation |
158
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
138
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
133
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
154
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
134
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...