Search results
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 155-169
Lecture Notes in Computer Science > Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living > Distributed Systems I > 99-106
Lecture Notes in Computer Science > Policies for Distributed Systems and Networks > Network Policy Realization > 185-201
Lecture Notes in Computer Science > Network-Based Parallel Computing. Communication, Architecture, and Applications > Program Development and Execution Support > 1-14
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Fault Tolerance > 412-424
Lecture Notes in Computer Science > Information Security Applications > Secure Software, Hardware, and Systems I > 188-202
Lecture Notes in Computer Science > Engineering Distributed Objects > Architectural Reasoning > 145-162
Lecture Notes in Computer Science > Quantitative Evaluation of Computing and Communication Systems > 357-371