Proceedings of the 1999 ACM symposium on Applied computing
Annals of Software Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Autonomous and Proactive Adjustment of Update Allowance in Autonomous Decentralized Database System
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Autonomous Distributed Service System Implementation
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Autonomous Distributed Congestion Control Scheme in WCDMA Network
IEICE - Transactions on Information and Systems
Decentralized workload management for assurance according to heterogeneous service levels
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 4.10 |
Computers have become indispensable, largely because they automate and control most systems we interact with. Even though computing technology is constantly improving, relying on computers to this degree fosters an urgent need for high-assurance systems. Among the typical applications of high-assurance systems, high-consequence systems are the most critical. The unsafe failure of these systems can result in catastrophic loss of life, damage to property, or social chaos. The authors consider how developers must use consistent, rigorous methods throughout the development process, from requirements specification and design to implementation and assessment