6040 search results - page 288 / 1208 » Generating Instance Models from Meta Models |
102
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
107
click to vote
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
101
Voted
ATMOS
2010
14 years 11 months ago
2010
The track allocation problem, also known as train routing problem or train timetabling problem, is to find a conflict-free set of train routes of maximum value in a railway netw...
125
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
111
click to vote
CCR
2008
15 years 19 days ago
2008
Despite the large number of papers on network topology modeling and inference, there still exists ambiguity about the real nature of the Internet AS and router level topology. Whi...