Mittwoch, 24. Juni 2009

[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

Donnerstag, 18. Juni 2009

[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

Mittwoch, 17. Juni 2009

[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

Freitag, 15. Mai 2009

[HIForum] Folien und Links zu H.Maurer

Moin,

hier die Folienfotos von Hermann Maurers Vortrag and der Nordakademie:

http://www.mprove.de/events/09/maurer/index.html

es grüßt
Matthias Müller-Prove


--
User Experience and Interaction Design
blogs_ http://www.mprove.de/about/blogs.html
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

[HIForum] HIForum News 12/2009

Liebe Mitglieder,
 
wir möchten zum nächsten HIForum Stammtisch einladen.
 
Wir treffen uns am Montag, den 25. Mai 2009, ab 19:00 Uhr im
 
Elbwerk
Bernhard-Nocht-Straße 68
20359 hamburg
 
 
Wir haben einen Tisch für 10 Personen direkt an der Fensterfront reserviert, die sich bei gutem Wetter öffnen lässt. Von dort haben wir einen freien Blick auf Dock Elbe-17.
 
Wir freuen uns auf einen lauen Frühsommerabend und möchten schon einmal folgende Diskussionsthemen vorschlagen:
 
Den Vortrag von Prof. Dr. Hermann Maurer, TU Graz
Der große Bruder wird nun wirklich ernst: Google und mehr ...
für alle, die nicht teilnehmen konnten.
 
Die reboot11 in Kopenhagen zum Thema "action"
für alle, die noch unentschlossen sind.
 
Bitte tragen Sie sich in die Teilnehmerliste bei XING ein https://www.xing.com/events/345327 oder melden sich an bei
 
Michael Schudy, michael.schudy@capgemini-sdm.com damit wir ausreichend reservieren können.
 
Mit besten Grüßen
 
Michael Schudy, Horst Oberquelle, Dirk Martinssen

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler
Abonnieren Posts (Atom)