Tutorial: Formal methods for event processing

Advances in Database Technology - EDBT 2014: 17th International Conference on Extending Database Technology, Proceedings

Volumn , Issue , 2014, Pages 675-

  Artikis, Alexander ^a   Paliouras, Georgios ^a  

^a INSTITUTE OF INFORMATICS AND TELECOMMUNICATIONS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85014399786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5441/002/edbt.2014.73     Document Type: Conference Paper

References (4)

1. A. Artikis, O. Etzion, Z. Feldman, and F. Fournier. Event processing under uncertainty. In Proceedings of International Conference on Distributed Event-Based Systems (DEBS), pages 32-43. ACM, 2012.
2. A. Artikis, A. Skarlatidis, F. Portet, and G. Paliouras. Logic-based event recognition. Knowledge Engineering Review, 27(4):469-506, 2012.
3. G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. ACM Computing Surveys, 44(3):15, 2012.
4. O. Etzion and P. Niblett. Event Processing in Action. Manning Publications Co., 2010.