Sciweavers

2292 search results - page 253 / 459
» Structure preserving embedding
Sort
View
FMOODS
2006
15 years 6 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
145
Voted
EHCI
2001
15 years 6 months ago
A Unifying Reference Framework for the Development of Plastic User Interfaces
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
Gaëlle Calvary, Joëlle Coutaz, David The...
IJCAI
2001
15 years 6 months ago
Refining the Basic Constraint Propagation Algorithm
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
Christian Bessière, Jean-Charles Rég...
IADIS
2003
15 years 6 months ago
Model Driven Fast Prototyping: A Semantic Approach
Sure that quality applications must be well thought and described before the development phase and that a design methodology can be much more than a help in most occasions, we pro...
Luca Contursi, Roberto Paiano, Andrea Pandurino
ANLP
2000
123views more  ANLP 2000»
15 years 6 months ago
Generating Text with a Theorem Prover
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
Ivan I. Garibay