Sciweavers

281 search results - page 47 / 57
» Event Correlation: Language and Semantics
Sort
View
DAGSTUHL
1998
13 years 9 months ago
On Active Deductive Databases: The Statelog Approach
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
Georg Lausen, Bertram Ludäscher, Wolfgang May
PVLDB
2010
114views more  PVLDB 2010»
13 years 6 months ago
Peer coordination through distributed triggers
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
Verena Kantere, Maher Manoubi, Iluju Kiringa, Timo...
AI
2004
Springer
13 years 7 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
AIMS
2007
Springer
14 years 1 months ago
Harnessing Models for Policy Conflict Analysis
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
Steven Davy, Brendan Jennings
BPM
2007
Springer
329views Business» more  BPM 2007»
14 years 1 months ago
Collaborative e-Business Process Modelling: Transforming Private EPC to Public BPMN Business Process Models
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
Volker Hoyer, Eva Bucherer, Florian Schnabel