103 search results - page 1 / 21 » A Contract-based Approach to Designing Safe Systems |
128
Voted
SFM
2009
Springer
15 years 8 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
152
Voted
APSCC
2008
IEEE
15 years 4 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
109
Voted
SCS
2003
15 years 3 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
90
Voted
MEDINFO
2007
15 years 3 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...
172
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...