408 search results - page 57 / 82 » Extending and Supporting Featured User Interface Models for ... |
ICSE
1999
IEEE-ACM
14 years 27 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
WSC
1997
13 years 10 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
VISUALIZATION
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
IMCSIT
2010
13 years 6 months ago
2010
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...