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…
On October 12, 2011, the 1st SFB 901 seminar in the winter semester will take place.
Talks will be held from subprojects A1, B1 and C1. 16:00-16:40 (A1) Peter Pietrzyk and Sebastian Kniesburges "Möglichkeiten und Grenzen lokaler Strategien in dynamischen Netzen im Rahmen der dynamischen Rollenzuweisung und Gruppenverwaltung"
17:00-17:40 (B1) Zille Huma "Rich Service Description and their Matching"
18:00-18:40 (C1) Ronald Petrlic…
Title of the talk: "Priorities for Language Design: Semantics and Explanations"
On August 22, 2011, Professor Dr. Martin Erwig will give a talk about "Priorities for Language Design: Semantics and Explanations" in the context of the SFB 901 colloquium.
Abstract:
In this presentation I will propose two focus areas for language design that can lead to better designed languages. First, I will show how focusing on semantics supports the design of…
