47 search results - page 7 / 10 » A Calculus of Looping Sequences for Modelling Microbiologica... |
SGP
2007
14 years 11 months ago
2007
In this paper, we describe a system for the reconstruction of deforming geometry from a time sequence of unstructured, noisy point clouds, as produced by recent real-time range sc...
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
LCPC
1999
Springer
15 years 1 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
105
click to vote
AIA
2006
14 years 10 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
JFP
2008
14 years 9 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...