Sciweavers

2324 search results - page 11 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
GTTSE
2007
Springer
15 years 1 months ago
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
Guido Wachsmuth
IJCAI
1993
14 years 11 months ago
Reducing Ambiguity by Learning Assembly Specific Behaviour
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
Bert Bredeweg, Cis Schut
AAAI
1998
14 years 11 months ago
Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
Abigail S. Gertner, Cristina Conati, Kurt VanLehn
CP
2007
Springer
15 years 1 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
WSC
2007
15 years 1 days ago
Domain specific model constructs in commercial simulation environments
Commercial simulation environments offer model developers the ability to compose simulation models using generic or domain specific model constructs. Most simulation environments ...
Edwin Valentin, Alexander Verbraeck