Sciweavers

46 search results - page 1 / 10
» debs 2007
Sort
View
DEBS
2007
ACM
13 years 10 months ago
Seamless formal verification of complex event processing applications
AnnMarie Ericsson, Paul Pettersson, Mikael Berndts...
DEBS
2007
ACM
13 years 10 months ago
TERA: topic-based event routing for peer-to-peer architectures
Roberto Baldoni, Roberto Beraldi, Vivien Qué...