320 search results - page 23 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
124
click to vote
GI
2009
Springer
14 years 10 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
121
Voted
NMELP
1994
15 years 4 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
PLILP
1992
Springer
15 years 4 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
117
Voted
ECMDAFA
2010
Springer
15 years 3 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
96
Voted
KDD
2000
ACM
15 years 4 months ago
2000
ACM
Having access to large data sets for the purpose of predictive data mining does not guarantee good models, even when the size of the training data is virtually unlimited. Instead,...