Denotational Semantics for an Active Rule Execution Model

Active database systems

ACM Computing Surveys (CSUR)

Abstract Interpretation for Termination Analysis in Functional Active Databases

Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems

M-net Calculus Based Semantics for Triggers

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Specifying active databases as non-Markovian theories of actions

Journal of Intelligent Information Systems

Applying OMG D&C specification and ECA rules for autonomous distributed component-based systems

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering

Autonomous deployment and reconfiguration of component-based applications in open distributed environments

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I