Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control von Wu, Jing, Zhang, James, von Bochmann, Gregor, Savoie, Michel

Volltext

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings von Bochmann, Gregor von, Probst, David Karl

Volltext

Architecture of Distributed Computer Systems von Bochmann, Gregor v

Volltext

Load balancing in peer-to-peer systems using a diffusive approach von Qiao, Ying, Bochmann, Gregor v.

Volltext

Realizability of Service Specifications von Al-hammouri, Mohammad F., Bochmann, Gregor von

Volltext

Conformance Testing with Respect to Partial-Order Specifications von von Bochmann, Gregor

Volltext

GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications von Mirtaheri, Seyed M., von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext

Semi-automatic implementation of transport and session protocols von von Bochmann, Gregor

Volltext

Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Ne... von Yu, Shen, Wu, Jing, Zhang, James Yiming, von Bochmann, Gregor

Volltext

Formal object-oriented methods in communication standards von Cusack, Elspeth, von Bochmann, Gregor

Volltext

Deriving protocol specifications from service specifications written in LOTOS von KANT, C, HIGASHINO, T, V. BOCHMANN, G

Volltext

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets von Yamaguchi, Hirozumi, El-Fakih, Khaled, von Bochmann, Gregor, Higashino, Teruo

Volltext

Associativity between Weak and Strict Sequencing von Bochmann, Gregor v.

Volltext

On the realizability of collaborative services von Castejón, Humberto Nicolás, von Bochmann, Gregor, Bræk, Rolv

Volltext

Deriving protocol specifications from service specifications including parameters von Gotzhein, Reinhard, von Bochmann, Gregor

Volltext

A quality of service negotiation approach with future reservations (NAFUR): a detailed study von Hafid, Abdelhakim, von Bochmann, Gregor, Dssouli, Rachida

Volltext

A computation method for scenario studies in WDM network planning von Yiming Zhang, James, Wu, Jing, v. Bochmann, Gregor, Savoie, Michel

Volltext

Fault Tolerant P2P RIA Crawling von Ben Hafaiedh, Khaled, von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext

Delay-independent design for distributed systems von Von Bochmann, G.

Volltext

A Scalable P2P RIA Crawling System with Partial Knowledge von Ben Hafaiedh, Khaled, von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext