Sciweavers

6434 search results - page 127 / 1287
» Model Transformations with Reference Models
Sort
View
UML
2005
Springer
14 years 3 months ago
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Progr
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
Hiroshi Wada, Junichi Suzuki
ENTCS
2006
151views more  ENTCS 2006»
13 years 10 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
WISE
2007
Springer
14 years 4 months ago
Managing Process Customizability and Customization: Model, Language and Process
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...
Alexander Lazovik, Heiko Ludwig
CONTEXT
2005
Springer
14 years 3 months ago
Utilizing Visual Attention for Cross-Modal Coreference Interpretation
In this paper, we describe an exploratory study to develop a model of visual attention that could aid automatic interpretation of exophors in situated dialog. The model is intended...
Donna K. Byron, Thomas Mampilly, Vinay Sharma, Tia...
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
14 years 2 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt