Sciweavers

611 search results - page 44 / 123
» Relative simulation and model checking of real-time processe...
Sort
View
ISSS
2002
IEEE
144views Hardware» more  ISSS 2002»
14 years 1 months ago
A Visual Approach to Validating System Level Designs
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
Jürgen Ruf, Thomas Kropf, Jochen Klose
GI
2009
Springer
13 years 6 months ago
Ontological Modelling of Surgical Knowledge
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
Raj Mudunuri, Oliver Burgert, Thomas Neumuth
WSE
2005
IEEE
14 years 2 months ago
A Comprehensive Model for Web Sites Quality
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
Oreste Signore
WSC
1998
13 years 10 months ago
Belief Networks in Construction Simulation
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...
Brenda McCabe
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
14 years 17 days ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim