Welcome to D
SIGMOD 2003
PODS 2003
SIGMOD-RECOR
ADBIS
= ADBIS'00 Pap
<<< = ADBIS'01 Pap>>>
= ADBIS'02 Pap
CIDR 2003
CIKM 2003
DASFAA 2003
Data Enginee
DEBS
DMKD 2003
DOLAP 2003
DPDJ 2003
ER
GIS 2003
Hypertext 20
ICDE 2003
ICDM 2003
ICDT 2003
JCDL 2003
KRDB 2003
MIR 2003
MIS 2003
MMDB 2003
RIDE 2003
SBBD 2003
SIGIR 2003
SIGIR-FORUM
SIGKDD 2003
SIGKDD-EXP
SSDBM 2003
TIME 2003
TODS
VLDB 2003
VLDB Journal
WIDM 2003

ADBIS01 - Active Databases


Detecting Termination of Active Database Rules Using Symbolic Model Checking
Return to ADBIS01 session listing



©2004 Association for Computing Machinery