6040 search results - page 16 / 1208 » Generating Instance Models from Meta Models |
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
EUROPLOP
2006
13 years 10 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
EMISA
2007
Springer
14 years 2 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...
JMLR
2008
13 years 8 months ago
2008
In supervised learning, a training set consisting of labeled instances is used by a learning algorithm for generating a model (classifier) that is subsequently employed for decidi...