7393 search results - page 1120 / 1479 » Synthesis-for-testability using transformations |
152
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
150
Voted
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
151
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
Shopping on the Internet has become a convenient way of purchasing commodities of choice. A key contribution of agent technology will be to develop personal agents that can assist...
163
click to vote
DAGM
2001
Springer
15 years 9 months ago
2001
Springer
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
145
Voted
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...