1987 search results - page 257 / 398 » Structural Model: Architecture for Software Designers |
152
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
129
click to vote
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
136
click to vote
SPIN
2009
Springer
15 years 11 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...
156
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
129
click to vote
AAAI
2004
15 years 5 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...