984 search results - page 34 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
154
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
127
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
132
Voted
ISER
1993
Springer
15 years 7 months ago
1993
Springer
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
126
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...