Sciweavers

29082 search results - page 188 / 5817
» The Time-Triggered Model of Computation
Sort
View
JSS
2006
88views more  JSS 2006»
15 years 3 months ago
A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability
The dependability of a system is contextually subjective and reflects the particular stakeholder
Paolo Donzelli, Victor R. Basili
105
Voted
ERCIM
2007
73views more  ERCIM 2007»
15 years 3 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
70
Voted
HF
2007
40views more  HF 2007»
15 years 3 months ago
Lane-Change Detection Using a Computational Driver Model
Dario D. Salvucci, Hiren M. Mandalia, Nobuyuki Kug...