Execution monitoring of security-critical programs in distributed systems: a specification-based approach

2002 ◽  
Author(s):  
C. Ko ◽  
M. Ruschitzka ◽  
K. Levitt
Keyword(s):  
Distributed Systems ◽  
Execution Monitoring

Managing evolution in distributed systems

1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  
Distributed Systems

The use of GMB in the design of robust software for distributed systems

1989 ◽  
Vol 4 (5) ◽  
pp. 268 ◽  
Author(s):  
Geoffrey F. Carpenter ◽  
Andrew M. Tyrrell
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document