Donnerstag, 3. September 2009

[HIForum] HIForum News 14/2009: Einladung zum HIForum Stammtisch am 09.09.09

Content-class: urn:content-classes:message
Content-Type: multipart/alternative;
  boundary="----_=_NextPart_001_01CA2C8D.635636FF"
Liebe Mitglieder,
 
sicher haben Sie schon auf unsere Einladung zum nächsten HIForum-Stammtisch gewartet. Wir halten den bereits angekündigten Termin und treffen uns am
 
Mittwoch, den 9. September 2009, um 18:00 Uhr,  in der
 
BULLEREI
 
Lagerstraße 34 B
20357 Hamburg
 
 
Die BULLEREI ist das neue Restaurant von Tim Mälzer und Patrick Rüther in den ehemaligen Viehhallen das alten Hamburger Schlachthofs.
Wer schon einmal einen Blick werfen möchte: www.bullerei.com
Hier findet sich nicht nur die Speisekarte. Geboten wird auch ein Einblick in die Entstehung des Restaurants; eine interessante Verwendung von Youtube.
 
Das Restaurant wurde am 1.Juli 2009 eröffnet und ist bereits sehr angesagt. Es ist uns gelungen,  8 Plätze für 18:00 Uhr zu reservieren. Wir können dann in Ruhe gemeinsam genießen. So gegen 20:00 Uhr soll es allerdings sehr voll werden. Wenn es uns dann zu laut wird, könnten wir an die Bar oder einen anderen Ort des Schanzenviertels wechseln.
 
Bitte melden Sie sich verbindlich an - first come, first served - unsere Reservierung ist leider auf 8 Plätze begrenzt.
Anmeldungen bitte per E-Mail an: michael.schudy@capgemini-sdm.com
 
 
Wir freuen auf Sie / auf Euch und interessante Gespräche nach den Sommerferien.
 
Mit besten Grüßen
 
Michael Schudy, Horst Oberquelle, Dirk Martinssen
 
 
---
HIForum - Hamburger Informatik-Forum (HIForum) e.V.
Vorstand: Dipl.-Inform. M. Schudy, Prof. Dr. H.
Oberquelle, Dipl.-Inform. D. Martinssen
Vereinsregister Hamburg VR 16010

c/o
____________________________________________________________

Michael Schudy / Capgemini sd&m / Hamburg
Senior Berater
Tel: +49 40 254491-33 / Fax: +49 40 254491-11 / www.de.capgemini-sdm.com
Mobil: +49 170 3327539 / michael.schudy@capgemini-sdm.com
Capgemini sd&m AG, Lübecker Straße 128, 22087 Hamburg
____________________________________________________________

Vorstand: Edmund Küpper (Vorsitzender), Burkhard Kehrbusch, Rüdiger Azone,
Dr. Uwe Dumslaff, Kai Grambow, Dr. Michael Rading, Josef Ranner
Aufsichtsrat: Pierre Hessler (Vorsitzender)
Sitz und Amtsgericht: München HRB 126057
 

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

Montag, 20. Juli 2009

[HIForum] iGrafx Experte?

Moin,
wer kennt iGrafx und hat Know How im Bereich Simulation? Gesucht werden (für einen Freund) entsprechende Beispieldokumente für "2-Produktlinien-Unternehmen".
ciao
_Matthias
http://www.mprove.de/about/contact.html


--
Hamburger Informatik Forum e.V.

web_____ http://www.hiforum.de/
xing____ http://www.xing.com/group-1211.f74f6f/4667
twitter_ http://twitter.com/hiforum/
feed____ http://pipes.yahoo.com/mprove/xhiforum
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

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

Abonnieren Posts (Atom)