2970 search results - page 396 / 594 » A Model for the Visualization Exploration Process |
138
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
148
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
146
click to vote
EVOW
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
110
click to vote
WSC
2000
15 years 6 months ago
2000
This paper demonstrates the use of simulation in an evaluative study for the technology of liver transplantation from cost-effectiveness point of view. This study is conducted in ...
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...