Sciweavers

14809 search results - page 63 / 2962
» Model transformation by demonstration
Sort
View
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
ASIACRYPT
2009
Springer
14 years 3 months ago
A Framework for Universally Composable Non-committing Blind Signatures
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
Masayuki Abe, Miyako Ohkubo
IJCIS
2007
101views more  IJCIS 2007»
13 years 8 months ago
Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
Cristina Vicente-Chicote, Fernando Losilla, B&aacu...
ISCI
2000
80views more  ISCI 2000»
13 years 8 months ago
Quantum associative memory with distributed queries
This paper discusses a model of quantum associative memory which generalizes the completing associative memory proposed by Ventura and Martinez. Similar to this model, our system ...
A. A. Ezhov, A. V. Nifanova, Dan Ventura
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
14 years 3 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...