Response Time Analysis of EQL Real-Time Rule-Based Systems.

@article{DBLP:journals/tkde/ChenC95,
  author    = {Jeng-Rung Chen and
               Albert Mo Kim Cheng},
  title     = {Response Time Analysis of EQL Real-Time Rule-Based Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {1},
  year      = {1995},
  pages     = {26-43},
  ee        = {db/journals/tkde/ChenC95.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

Serge Abiteboul, Eric Simon: Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theor. Comput. Sci. 78(1): 137-158(1991) BibTeX

[2]

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6
BibTeX

[3]

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 BibTeX

[4]

...

[5]

David A. Brant, Timothy Grose, Bernie J. Lofaso, Daniel P. Miranker: Effects of Database Size on Rule System Performance: Five Case Studies. VLDB 1991: 287-296 BibTeX

[6]

...

[7]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 BibTeX

[8]

...

[9]

...

[10]

Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang: Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885(1993) BibTeX

[11]

...

[12]

...

[13]

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2): 244-263(1986) BibTeX

[14]

...

[15]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[16]

...

[17]

Toru Ishida: Parallel Rule Firing in Production Systems. IEEE Trans. Knowl. Data Eng. 3(1): 11-17(1991) BibTeX

[18]

...

[19]

...

[20]

...

[21]

...

[22]

Thomas J. Laffey, Preston A. Cox, James L. Schmidt, Simon M. Kao, Jackson Y. Read: Real-Time Knowledge-Based Systems. AI Magazine 9(1): 27-45(1988) BibTeX

[23]

...

[24]

Christopher A. Marsh: The ISA Expert System: A Prototype System for Failure Diagnosis on the Space Station. IEA/AIE (Vol. 1) 1988: 60-74 BibTeX

[25]

...

[26]

...

[27]

David W. Payton, Thomas E. Bihari: Intelligent Real-Time Control of Robotic Vehicles. Commun. ACM 34(8): 49-63(1991) BibTeX

[28]

...

[29]

...

[30]

...

[31]

...

[32]

...

Referenced by

1. Blaz Zupan, Albert Mo Kim Cheng: Optimization of Rule-Based Systems Using State Space Graphs. IEEE Trans. Knowl. Data Eng. 10(2): 238-254(1998)