637 search results - page 60 / 128 » Inconsistency-Tolerant Integrity Checking |
108
Voted
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
Change computation is an essential component in several capabilities of a deductive database,such as integrity constraints checking, materialized view maintenanceandcondition moni...
147
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
124
Voted
EPK
2006
15 years 5 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
118
Voted
KYOTODL
2000
15 years 5 months ago
2000
This paper presents a novel approach for the management of large collections of electronic documents. The major technical contribution of our approach is the seamless integration ...
121
Voted
FBT
1997
15 years 5 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...