Sciweavers

37 search results - page 8 / 8
» An algebraic approach to subframe logics. Intuitionistic cas...
Sort
View
CORR
2010
Springer
186views Education» more  CORR 2010»
13 years 5 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley
ENTCS
2006
134views more  ENTCS 2006»
13 years 5 months ago
Anonymity in Probabilistic and Nondeterministic Systems
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
Catuscia Palamidessi