984 search results - page 17 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
136
click to vote
WEBNET
2000
15 years 4 months ago
2000
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
125
Voted
ENVSOFT
2008
15 years 2 months ago
2008
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...
93
Voted
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
112
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
139
Voted
DLOG
2003
15 years 4 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...