2694 search results - page 103 / 539 » A Description Logic of Change |
CORR
2002
Springer
13 years 9 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
Detecting changes in a data stream is an important area of research with many applications. In this paper, we present a novel method for the detection and estimation of change. In...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
WOA
2007
13 years 10 months ago
2007
– The importance of business processes for a successful enterprise cannot be overestimated. They are core assets through which a business turns its potential into actual competit...