Sciweavers

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