Ausgabe 3/2007

Plain Text icon MMB-Newsletter-07-3.txt — Text, 7 KB (7984 bytes)

Dateiinhalt

----------------------------------------------------------
                     MMB Email Newsletter
                      Ausgabe III / 2007
----------------------------------------------------------


Liebe MMB-Mitglieder,

nachfolgend erhalten Sie den dritten und letzten Newsletter des Jahres 2007 von unserer Fachgruppe. Wie so oft, werfen zum Ende eines Jahres bereits die Ereignisse des nächsten Jahres ihre Schatten voraus. Daher möchte ich Ihnen schon einmal den Termin 31. MÄRZ bis 2. APRIL 2008 für den Besuch der MMB 2008 in Dortmund ans Herz legen. 

Viel Spaß beim Lesen dieses Newsletters, ein Frohes Weihnachtsfest und die besten Wünschen für das Jahr 2008.

Christoph Lindemann
Sprecher der GI/ITG Fachgruppe MMB


----------

INHALT AUF EINEN BLICK:
  - Patrick Wüchner et al.: Ankündigung PIK Sonderheft "Selbstorganisierende Systeme und deren Modellierung"
  - Aktuelle Arbeiten: Kai Lampka: A Symbolic Approach to the State Graph Based Analysis of High-Level Markov Reward Models


----------

Matthias Hollick, Hermann de Meer, Jens B. Schmitt, Patrick Wüchner: ANKÜNDIGUNG PRAXIS DER INFORMATIONSVERARBEITUNG UND KOMMUNIKATION (PIK) SONDERHEFT ZUM THEMA "SELBSTORGANISIERENDE SYSTEME UND DEREN MODELLIERUNG" (PIK 31 (2008) 1)

Die Entwicklung von Kommunikationsnetzen wie dem Internet und der Mobilfunknetze kann im Rückblick auf das vergangene Jahrzehnt als einzigartige Erfolgsgeschichte bezeichnet werden. Dabei ist das Ende des Wachstums dieser Netze, die aktuell mehrere hundert Millionen Endsysteme bzw. mehrere Milliarden Mobiltelefone umfassen, noch nicht abzusehen; die Beherrschung der hieraus resultierenden Komplexität stellt eine der großen Herausforderungen für die Forschungsgemeinde dar. 

Seit einiger Zeit erhofft man sich, die zunehmende Komplexität mit Hilfe von Konzepten der Selbstorganisation in den Griff zu bekommen. Für die Auswahl und Parametrisierung solcher Konzepte wird eine systematische Methodik zum Begreifen und Einsetzen selbstorganisierenden Verhaltens notwendig. Der Modellierung und Bewertung von Systemeigenschaften kommt bei der noch notwendigen Entwicklung einer solchen Methodik eine Schlüsselrolle zu. 

Das im März 2008 erscheinende Themenheft beschäftigt sich mit selbstorganisierenden Systemen und geht insbesondere auf deren Modellierung ein. Es enthält acht Artikel von Experten aus dem In- und Ausland mit den folgenden Themenschwerpunkten: - Terminologie und konzeptuelle Modelle autonomer Systeme. - Analytische Methoden und mathematische Modelle von selbstorganisierenden und komplexen Systemen. - Unterstützung durch Softwarewerkzeuge und Anwendung von Modellen. 

Das Themenheft bietet damit einen aktuellen und umfassenden Überblick über das Themenfeld selbstorganisierende Systeme und deren Modellierung. 


----------

AKTUELLE ARBEITEN UND ARTIKEL

Vorschläge für Beiträge in dieser Rubrik können an den Newsletter-Editor (waldhorst@tm.uka.de) gesendet werden.

Dissertation von Kai Lampka: A SYMBOLIC APPROACH TO THE STATE GRAPH BASED ANALYSIS OF HIGH-LEVEL MARKOV REWARD MODELS

Markov reward models considered in this thesis are compactly described by means of Markovian extensions of well-known high-level model description formalisms. For numerically computing performance and dependability (= performability) measures of high-level system models, the latter must be transformed into low-level representations, where the concurrency contained in the high-level model description is made explicit. This transformation, where a high-level model is mapped onto a (stochastic) state/transition-system, generically denoted as state graph (SG), may therefore yield an exponential blow-up in the number of system states. This problem is known as the notorious state space explosion problem. Decision diagrams (DD) have shown to be very helpful when it comes to the representation of extremely large SGs, easing the restriction imposed on the size and complexity of models and thus systems to be analyzed. However, to efficiently apply contemporary symbolic techniques the high level models must possess either a specific compositional structure and/or the employed modeling formalism must be of a specific kind. This work lifts these limitations, where the number of system states, the state probability of which must be computed, is still the limiting factor of the analysis.
 
http://deposit.d-nb.de/cgi-bin/dokserv?idn=985513926


----------

BEVORSTEHENDE KONFERENZEN UND VERANSTALTUNGEN

Veranstaltungshinweise können an den Newsletter Editor (waldhorst@tm.uka.de) gesendet werden.

WONS 2008
5th Int. Conf. on Wireless On-demand Network Systems and Services
Garmisch-Partenkirchen, Germany
24.-25.01.2008
http://www.tm.uka.de/wons2008


MSOP2P 2008
2nd Int. Workshop on Modeling, Simulation, and Optimization of Peer-to-peer Environments
Toulouse, France
13.-15-02.2008
http://www3.informatik.uni-wuerzburg.de/msop2p/


PASA 2008
9th Workshop on Parallel Systems and Algorithms
Dresden, Germany
25.-28.02.2008
http://www.ra.informatik.tu-darmstadt.de/pasa/2008/


QOSIM 2008
1st Int. Workshop on the Evaluation of Quality of Service through Simulation in the Future Internet
Marseille, France
03.03.2008
http://www.qosim.org/


SIMUTools 2008
1st Int. Conf. on Simulation Tools and Techniques for Communications, Networks and Systems

03.-07.03.2008
http://www.simutools.org/


MP2P 2008
5th IEEE Int. Workshop on Mobile Peer-to-Peer Computing
Hong Kong
17.-21.03.2008
http://www3.informatik.uni-wuerzburg.de/mp2p2008/


PAEWN 2008
3rd Int. Workshop on Performance Analysis and Enhancement of Wireless Networks
GinoWan, Japan
25.-28.03.2008
http://www.inf.brad.ac.uk/~gmin/PAEWN-08.html


ASWN 2008
8th Int. Workshop on Applications and
Services in Wireless Networks
Kassel, Germany
27.-29.03.2008
Deadline: 31.12.07
vhttp://www.aswn2008.org/


MMB 2008
14. GI/ITG Fachtagung "Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen"
Dortmund, Germany
31.03.-02.04.2008
Deadline: 01.10.07
http://www.mmb2008.org


NOMS 2008
IEEE/IFIP Network Operations and Management Symp. Pervasive Management for Ubiquitous Networks and Services
Salvador da Bahia, Brazil
07.-11.04.2008
http://www.ieee-noms.org/2008


Hot-P2P 2008
Fifth Int. Workshop on Hot Topics in Peer-to-Peer Systems
Miami, FL, USA
14.-18.04.2008
http://www.disi.unige.it/hotp2p/2008/submproc.php


IPDPS 2008
22nd IEEE Int. Parallel & Distributed Processing Symp.
Miami, FL, USA
14.-18.04.2008
http://www.ipdps.org/


INFOCOM 2008
27th Annual Conf. of the IEEE Communications Society
Phoenix, Arizona, USA
15.-17.04.2008
http://www.ieee-infocom.org/2008/


NGI 2008
4th EURO-NGI Conf. On Next Generation Internet Networks
Krakow, Poland
28.-30.04.2008
http://www.kt.agh.edu.pl/ngi2008


IWQoS 2008
16th IEEE Int. Workshop on Quality of Service
Enschede, Netherlands
02.-04.06.2008
Deadline: 28.01.08
http://iwqos08.ewi.utwente.nl/


ASMTA 2008
15th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications
Nicosia, Cyprus
04.-06.06.2008
Deadline: 12.02.08
http://www.comp.glam.ac.uk/ASMTA2008/


ICDCS 2008
28th Int. Conf. on Distributed Computing Systems
Beijing, China
17.-20.06.2008
http://www.engin.umd.umich.edu/icdcs/


DTMN 2008
3rd Int. Workshop on Delay/Disruption-Tolerant Mobile Networks
Beijing, China
20.06.2008
http://www.cacs.louisiana.edu/~wu/DTMN08/


SIGCOMM 2008
ACM SIGCOMM 2008
Seattle, WA, USA
17.-22.08.2008
Deadline: 01.02.08
http://www.sigcomm.org/sigcomm2008/


AdHocNow 2008
7th Int. Conf. on AD-HOC Networks & Wireless
Nice, France
10.-12.09.2008
Deadline: 10.03.08
http://www-sop.inria.fr/mascotte/adhocnow


----------

MMB Newsletter Editor: Oliver Waldhorst (waldhorst@tm.uka.de)

Der nächste Newsletter erscheint im April 2008.