10159 search results - page 182 / 2032 » System Design Validation Using Formal Models |
92
Voted
MEDINFO
2007
15 years 4 months ago
2007
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
117
Voted
TRUSTBUS
2007
Springer
15 years 8 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
114
click to vote
ICDM
2008
IEEE
15 years 9 months ago
2008
IEEE
Finding relevant experts in a specific field is often crucial for consulting, both in industry and in academia. The aim of this paper is to address the expert-finding task in a...
121
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
123
click to vote
TC
1998
15 years 2 months ago
1998
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...