Learning Minimal Separating DFA's for Compositional Verification
- Speaker
- Date and Time
Thursday, May 14th, 2009, at 13.30.
- Location
Polacksbaken, room 1146
- Abstract
-
Wireless sensor networks have been an active research field for ten years, but despite the large research effort sensor networks have not yet reached mainstream adoption. Or have they? In this talk I present my take on what the next step for sensor networks is on their way towards worldwide adoption. I will talk about the latest developments in the Contiki operating system and about the upcoming Promos project.