22864 search results - page 284 / 4573 » An Integrated and |
154
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
183
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
159
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
151
click to vote
DGO
2008
15 years 8 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
159
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Service-oriented architectures (SOA) are increasingly used in the context of business processes. However, the modeling approaches for process-driven SOAs do not yet sufficiently i...