SCARE First Workshop
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
SCARE First Workshop
SCARE First Workshop
Program:
Time | Speaker | Title |
14:00 | Opening | |
14:05 | Björn Engelmann | Dynamic Languages -- A First Outlook |
14:35 | Nils Erik Flick | Structure Changing Petri Nets as a Model of Adverse Conditions |
15:00 | Break | |
15:10 | Christian Kuka | Processing the Uncertainty: Quality-Aware Multi-Sensor Data Stream Processing for Dynamic Context Models |
15:30 | Mohamed Abdelaal | An Efficient Power Reduction Technique for Wireless Sensor Networks |
16:10 | Break | |
16:20 | Hendrik Radke | Graph Conditions with Variables for Modeling Structural Properties |
16:40 | Sören Jeserich | Towards a Game Semantics of a Multi-Aspect Specification Language |
17:00 | Closing |