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...
118
Voted
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...