Sciweavers

14809 search results - page 356 / 2962
» Model transformation by demonstration
Sort
View
IPPS
2006
IEEE
16 years 24 days ago
Relationships between communication models in networks using atomic registers
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 ...
Lisa Higham, Colette Johnen
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 10 months ago
Incremental Updates for View-Based Textual Modelling
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...
Thomas Goldschmidt, Axel Uhl
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
15 years 8 months ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
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...
Oleg Komogortsev, Javed I. Khan
GG
2008
Springer
15 years 7 months ago
Workshop on Graph Computation Models
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
Mohamed Mosbah, Annegret Habel
EPEW
2008
Springer
15 years 8 months ago
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...