5525 search results - page 462 / 1105 » Verification of Model Transformations |
163
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...
184
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
295
click to vote
ECMDAFA
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
167
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
210
click to vote
ETRA
2008
ACM
15 years 8 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...