2694 search results - page 304 / 539 » A Description Logic of Change |
161
click to vote
COLING
1994
15 years 8 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
177
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
157
click to vote
CMOT
2006
15 years 6 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
162
click to vote
ASE
2006
15 years 6 months ago
2006
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...