Sciweavers

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