7820 search results - page 44 / 1564 » Formalization of Time and Space |
203
Voted
AMSTERDAM
2009
14 years 10 months ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
123
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
123
Voted
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
103
Voted
FUIN
2008
15 years 23 days ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
113
click to vote
ENTCS
2006
15 years 22 days ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...