Nr. 33 (Frühjahr 1998)

 

INHALT - Frühjahrs-Ausgabe 1998

 

0. REDAKTIONELLES

- Impressum
- Inhaltsverzeichnis
- Hinweise der Redaktion
- Fachausschuß "MMB" (Mitglieder des Leitungsgremiums)

1. AKTUELLES AUS DER FACHGRUPPE

- Bericht des Sprechers

2. BERICHTE AUS FORSCHUNG UND ENTWICKLUNG

- Functional and quantitative Verification of time- and resource-enhanced
  SDL-Systems with Model-Checking
(M. Diefenbruch, Universität Essen)
- Verwendung von Schätzverfahren zur Systemdimensionierung
  (A.Schmiedtendorf, Universität Magdeburg)

3. MMB-ARBEITSGESPRÄCHE - AUFRUFE UND BERICHTE

-Bericht: Leistungs-, Zuverlässigkeits- und Verläßlichkeitsbewertung von
  Kommunikationsnetzen und verteilten Systemen
(Hamburg, 5./6. März 1998)

4. TAGUNGSBERICHTE

- Broadband Communications '98 (Stuttgart, 1.-3. April 1998)
- 28th International Symposium on FTCS-28 (23. - 25. Juni 1998)
- 24 th Euromicro Conference (25. - 27. August 1998)

5. BUCHBESPRECHUNGEN UND -VORSTELLUNGEN

- G. Bolch et al.: Queueing Networks and Markov Chains"
- Ch. Lindemann: Performance Modelling with Deterministic and Stochastic
  Petri-Nets

- R. Kiefer: Meßtechnik in digitalen Netzen
- M. Conti et al.: Metropolitan Area Networks
- H. Kameda et al.: Optimal Load Balancing in Distributed Computer Systems

6. ANKÜNDIGUNGEN VON TAGUNGEN, WORKSHOPS

- Tagungsankündigungen, Call for Papers
- Veranstaltungskalender

7. MITGLIEDSCHAFT UND MITARBEIT

- Aufnahmeantrag, Adressenänderung, Arbeitsgebiete
- xlink-Anmeldungen
- MMB-Mailingliste