Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment
IEEE Transactions on Software Engineering
Edmund: a multicast kernel for distributed application
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Guest Editor's Introduction: Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
The Design and Implementation of an ASN.1-C Compiler
IEEE Transactions on Software Engineering
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Formal Timing Analysis of OMT Designs Using LIMITS
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Development of Fault-Tolerant Software Systems Based on Architectural Abstractions
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
A fault-tolerant software architecture for component-based systems
Architecting dependable systems
Architectural fault tolerance using exception handling
Architecting dependable systems IV
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
Architecture-centric fault tolerance with exception handling
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Hi-index | 0.00 |