174 search results - page 18 / 35 » Improving Design Patterns Finder Precision Using a Model Che... |
WSC
2007
15 years 26 days ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
107
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ACL
2012
13 years 29 days ago
2012
We present a simple and effective framework for exploiting multiple monolingual treebanks with different annotation guidelines for parsing. Several types of transformation pattern...
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
102
click to vote
TSE
1998
14 years 10 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...