ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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

Jeng-Rung Chen, Albert Mo Kim Cheng: Response Time Analysis of EQL Real-Time Rule-Based Systems. IEEE Trans. Knowl. Data Eng. 7(1): 26-43(1995)
@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}
}
BibTeX

Abstract

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


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

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)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:14 2009