1451 search results - page 25 / 291 » Case Studies in Model Manipulation for Scientific Computing |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
EDOC
2004
IEEE
14 years 21 days ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
FTDCS
1997
IEEE
14 years 1 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
SACMAT
2003
ACM
14 years 2 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
CGI
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper focuses on an approach to modeling shapes through the use of evolutionary optimization or genetic algorithms for functionally represented geometric objects. This repres...