Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici - Security Properties - Document - PDFSEARCH.IO

First Page	Meta Content
	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Document Date: 2014-02-25 06:27:38 Open Document File Size: 471,19 KB Share Result on Facebook Company Hp / / Country Switzerland / United States / / Currency pence / USD / / Facility Eugen Z˘alinescu Institute of Information Security / / IndustryTerm presented monitoring algorithm / monitoring algorithm / stream-processing tool / aggregation operators / financial services / / Movie D. 3 / / MusicGroup STREAM / / Organization Eugen Z˘alinescu Institute of Information Security / / Person Felix Klaedtke / David Basin / Srdjan Marinovic / / ProgrammingLanguage SQL / Prolog / / Technology monitoring algorithm / Monitoring algorithms / 3 Monitoring Algorithm / relational database / presented monitoring algorithm / / SocialTag Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic

Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance policiAdd to Reading List