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»
14 years 11 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»
14 years 11 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