Sciweavers

1121 search results - page 118 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
113
Voted
ECEASST
2006
154views more  ECEASST 2006»
15 years 1 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...
118
Voted
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 1 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
RE
2001
Springer
15 years 6 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
ICIDS
2010
Springer
15 years 10 days ago
Crowd-Sourced AI Authoring with ENIGMA
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
Michael Kriegel, Ruth Aylett
WSC
2008
15 years 4 months ago
Supporting simulation in industry through the application of grid computing
An increased need for collaborative research, together with continuing advances in communication technology and computer hardware, has facilitated the development of distributed s...
Navonil Mustafee, Simon J. E. Taylor