Search results for: Gregor V. Bochmann
Journal of Internet Services and Applications > 2018 > 9 > 1 > 1-27
Formal Aspects of Computing > 2017 > 29 > 4 > 583-600
Lecture Notes in Computer Science > Database and Expert Systems Applications > Query Optimization II > 803-812
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Test Generation > 169-183
Lecture Notes in Computer Science > Interactive Multimedia on Next Generation Networks > Quality of Service Architectures > 182-194
Lecture Notes in Computer Science > Euro-Par 2003 Parallel Processing > Topic 5: Parallel and Distributed Databases, Data Mining, and Knowledge Discovery > 342-347
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Short Papers > 213-218
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 17-33
Lecture Notes in Computer Science > Managing the Dynamics of Networks and Services > P2P and Aggregation Schemes > 124-135
Lecture Notes in Computer Science > NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems > Optical Networks I > 368-378
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 367-382
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Composition and Synthesis > 191-195
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 396-410
Lecture Notes in Computer Science > Electronic Commerce Technologies > Performance and QoS > 138-147
Lecture Notes in Computer Science > Interactive Distributed Multimedia Systems > Control of Multimedia Networks > 221-232