Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing) Show image information

CRC 901 – On-The-Fly Computing (OTF Computing)

Wednesday, 14.12.2011 | 16.00 Uhr

Third SFB 901 Seminar in WS 2011/2012

On December 14, 2011, the 3rd SFB 901 seminar in the winter semester will take place.

Talks will be held from subprojects C3, B3, B4 and A3.
16:00-16:40 (C3) Corinna Dohle and Florian Stapel
"Wasserbezugsoptimierung im On-The-Fly Computing: Spezifikation und Komposition von Services"

16:40-17:20 (B3) Sven Walther
"Ein modellbasierter Ansatz zur Analyse von Servicekompositionen"
17:40-18:20 (B4) Stephanie Drzevitzky and Daniel Wonisch
"Proof-Carrying Services: Compact Software Proofs and Runtime Verification for Hardware"

18:20-19:00 (A3) Sonja Brangewitz
"Negotiated Pricing"

The University for the Information Society