Title of the talk: "Engineering Software in the Future Era: The Role of Uncertainty"
On February 16, 2012, Professor Dr. Paola Inverardi will give a talk about "Engineering Software in the Future Era: The Role of Uncertainty" in the context of the SFB 901 colloquium.
Abstract:
In the next future we will be surrounded by a virtually infinite number of software applications that provide computational software resources in the open Globe. This…
Title of the talk: "Spielwiese Internet"
On February 7, 2012, Professor Dr. Anja Feldmann will give a talk about "Spielwiese Internet" in the context of the SFB 901 colloquium.
Abstract:
The ever growing demand for information of Internet users is putting a significant burden on the current Internet infrastructure who's architecture has been more or less unchanged over the last 30 years. Indeed, rather than adjusting the architecture, small…
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…
Title of the talk: "Efficient Security Protocols for Dependable and Secure Wireless Networks"
On December 13, 2011, Professor Dr. Dirk Westhoff will give a talk about "Efficient Security Protocols for Dependable and Secure Wireless Networks" in the context of the SFB 901 colloquium.
Abstract:
In this talk we will give an overview about research activities at the working group 'Security in distributed Systems' at the HAW Hamburg. We present…
Title of the talk: "Ein ganzheitlicher Ansatz zur Spezifikation von Software-Services: Spezifikationsrahmen, Metamodell und Sprachformate"
On December 7, 2011, PD Dr. Sven Overhage will give a talk about "Ein ganzheitlicher Ansatz zur Spezifikation von Software-Services: Spezifikationsrahmen, Metamodell und Sprachformate" in the context of the SFB 901 colloquium.
Abstract:
Die umfassende, präzise Beschreibung von Software-Services ist ein…
Title of the talk: "Organic Programming using Ercatons"
On December 7, 2011, Dr. Falk Langhammer will give a talk about "Organic Programming using Ercatons" in the context of the SFB 901 colloquium.
Title of the talk: "On-The-Fly Software Systems"
On November 29, 2011, Professor Dr. Kurt Geihs will give a talk about "On-The-Fly Software Systems" in the context of the SFB 901 colloquium.
Abstract:
Adaptive applications adapt themselves to changes in their execution context. Significant context changes trigger adaptations according to a given objective function. In ubiquitous computing environments services may be discovered and bound…
On November 9, 2011, the 2nd SFB 901 seminar in the winter semester will take place.
Talks will be held from subprojects B2, C2 and A2.
16:00-16:40 (B2) Alexander Jungmann and Yuhan Yan "Konfiguration und Bewertung - Ein Einstieg""
17:00-17:40 (C2) Markus Happe and Peter Kling "On-The-Fly Compute Centers: Scheduling Aspekte und Transmodale Migration"
18:00-18:40 (A2) Arne Schwabe "Internet Coordinate Systems beyond Latency Measurements"
Title of the talk: "Conditional Model Checking"
On October 25, 2011, Professor Dr. Dirk Beyer will give a talk about "Conditional Model Checking" in the context of the SFB 901 colloquium.
Abstract:
Software model checking has received increasing attention in the software-engineering community, due to its high precision in finding bugs. The effectiveness could be further improved by combining techniques and benefit from complementary strengths…
