Sciweavers

5544 search results - page 108 / 1109
» Three Inadequate Models
Sort
View
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
14 years 21 days ago
A Canonical Scheme for Model Composition
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
Jean Bézivin, Salim Bouzitouna, Marcos Dido...
FSS
2008
69views more  FSS 2008»
13 years 9 months ago
A methodology for automated fuzzy model generation
In this paper we propose a generic methodology for the automated generation of fuzzy models. The methodology is realized in three stages. Initially, a crisp model is created and i...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 7 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
DIGRA
2005
Springer
14 years 2 months ago
Fundamental Components of the Gameplay Experience: Analysing Immersion
This paper presents a gameplay experience model, assesses its potential as a tool for research and presents some directions for future work. The presented model was born from obse...
Laura Ermi, Frans Mäyrä
IPPS
1999
IEEE
14 years 1 months ago
Optimally Scaling Permutation Routing on Reconfigurable Linear Arrays with Optical Buses
We present an optimal and scalable permutation routing algorithm for three reconfigurable models based on linear arrays that allow pipelining of information through an optical bus...
Jerry L. Trahan, Anu G. Bourgeois, Ramachandran Va...