3987 search results - page 213 / 798 » Ontology-Based Model Transformation |
124
click to vote
IFIP
1997
Springer
15 years 8 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
166
click to vote
JUCS
2010
14 years 11 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
158
click to vote
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...
139
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
139
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...