Begin: Wed, 14. of Dec 2011 ( 4:00 PM)
Location: Fürstenallee 11, Room F0.530
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"
