6040 search results - page 411 / 1208 » Generating Instance Models from Meta Models |
158
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
193
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
201
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
176
click to vote
BVAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this article we present a model of realistic drawing accounting for visuomotor coordination, namely the strategies adopted to coordinate the processes of eye and hand ...
174
click to vote
EUC
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...