Sciweavers

13913 search results - page 179 / 2783
» models 2007
Sort
View
AIIA
2007
Springer
16 years 1 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...
BPM
2007
Springer
121views Business» more  BPM 2007»
16 years 1 months ago
Inducing Declarative Logic-Based Models from Labeled Traces
Evelina Lamma, Paola Mello, Marco Montali, Fabrizi...
CCIA
2007
Springer
16 years 1 months ago
Modeling Problem Transformations based on Data Complexity
Ester Bernadó-Mansilla, Núria Maci&a...