3801 search results - page 280 / 761 » An Approach to Modeling Software Safety |
195
click to vote
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
178
click to vote
NLUCS
2008
15 years 8 months ago
2008
Increasingly, medical institutions have access to clinical information through computers. The need to process and manage the large amount of data is motivating the recent interest ...
141
click to vote
IJHCI
2010
15 years 5 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
179
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
154
click to vote
SCAM
2006
IEEE
16 years 18 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...