3885 search results - page 184 / 777 » Transformations for Write-All-with-Collision Model |
111
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
130
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
146
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
143
click to vote
ENTCS
2006
15 years 5 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
161
Voted
BIOCOMP
2009
15 years 2 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...