Search results
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 731-758
Lecture Notes in Computer Science > Advances in Grid and Pervasive Computing > Fault Tolerance > 471-482
Lecture Notes in Computer Science > Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living > Distributed Systems II > 475-482
Lecture Notes in Computer Science > Business Process Management Workshops > Session 2: Model-Based Approach for Enterprise Interoperability > 297-307
Lecture Notes in Computer Science > High Performance Computing for Computational Science - VECPAR 2004 > Chapter 3: Grid Computing Infrastructure > 288-301
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 38-57
NATO Science Series II: Mathematics, Physics and Chemistry > Cyberspace Security and Defense: Research Issues > Dependability > 161-174
Lecture Notes in Computer Science > Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living > New Intelligent and Distributed Computing Solutions for Manufacturing Systems > 382-389
Lecture Notes in Computer Science > Services Management in Intelligent Networks > Event Handling for Management Services > 157-168