[HIForum] [Kolloquium] 29.6.09 - Dr. He dda Schmidtke / GIST Südkorea

Einladung zum

Informatischen Kolloquium Hamburg

Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/

________________________________________________________________________________

* Ansätze zu einer ontologiebasierten formalen Verifikationsmethode für Pervasive Computing Umgebungen *
________________________________________________________________________________

Dr. Hedda R. Schmidtke

U-VR Lab, Dept. of Information and Communications
Gwangju Institute of Science and Technology (GIST)
Gwangju , Südkorea

Montag, 29. Juni 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B

Pervasive Computing Systeme operieren innerhalb und auf der Basis eines Modells der Umgebung, in welcher sie arbeiten. In dieser Hinsicht unterscheiden sie sich von verteilten oder mobilen Computersystemen und benötigen neue Verifikationsmethoden. Gegenwärtig gibt es eine Reihe von Methoden und Werkzeugen, mit denen die Eigenschaften verteilter und mobiler nebenläufiger Systeme einerseits und ontologiebasierter Kontextmodelle andererseits verifiziert werden können. Als Werkzeuge zur Verifikation existierender Pervasive Computing Systeme sind beide allerdings nicht optimal, da erstere nur die Modellierung stark eingeschränkter Kontextmodelle unterstützen und letztere nicht erlauben, den dynamischen Aspekt von Computersystemen zu modellieren. Im Vortrag wird ein Ansatz vorgestellt, nach dem existierende Pervasive Computing Systeme als verteilte nebenläufige Systeme, die auf dem Hintergrund eines mereotopologischen Kontextmodells operieren, beschrieben werden können.

Kontakt: Prof. Dr. Christopher Habel
habel@informatik.uni-hamburg.de, Tel. 42883-2417

_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

> Weiter Lesen...

[HIForum] ISC09 Party am 20.6.

Moin,
am 20.6. gibt es anläßlich der International Supercomputing Conference im Cafe Fees eine Party für Studis (und Profs). Infos und kostenlose Anmeldung unter

http://isc09studentparty.eventbrite.com/

Gruss
Matthias

--
User Experience and Interaction Design
blogs_ http://www.mprove.de/blogs/
home_ http://www.mprove.de
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

> Weiter Lesen...

[HIForum] [Kolloquium] 22.6.09 - Prof. A. Krzesinski / Stellenbosch Univ.

Einladung zum

Informatischen Kolloquium Hamburg

Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/

____________________________________________________________

* Modelling Incentives and Protocols for Collaboration in Mobile Ad Hoc Networks *
____________________________________________________________

Prof. Anthony E. Krzesinski

Department of Computer Science
University of Stellenbosch, South Africa

Montag, 22. Juni 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B

Ad hoc networks are self-configuring networks of mobile nodes,
connected by wireless links. If a destination node is beyond the
transmission range of an origin node, then the nodes must cooperate to
provide a multi-hop route. Any node can act as a sender, receiver
or transit node. It is in a node's interest to be a sender or receiver,
but it is less clear what the value is of forwarding traffic on behalf
of other nodes. The nodes should therefore be given incentives to
act as transit nodes, because otherwise the network would fail to
function. A way to do so is by introducing for each node a credit
balance, where nodes use credits to pay for the costs of sending their
own traffic, and earn credits by forwarding traffic from other nodes.
The incentive scheme requires that the information needed to compute
the credit balance at each node must be locally available at the node.

We present a model of a signalling protocol that obtains
and distributes the prices that the nodes charge for processing
flows so that the credit balances can be locally computed at each
node. Simulation experiments show that the protocol can efficiently
gather and distribute the control information such that effective
flow allocation takes place for reasonable values of the signalling
rate and signal processing delays.

Kontakt: Prof. Dr. Bernd Page
page@informatik.uni-hamburg.de, Tel. 42883-2426

_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

> Weiter Lesen...