Qualitative Behavior Modeling of Information Processing Components.

@inproceedings{DBLP:conf/dasfaa/OhLK93,
  author    = {Sang Hun Oh and
               Yoon-Joon Lee and
               Myoung-Ho Kim},
  editor    = {Song C. Moon and
               Hideto Ikeda},
  title     = {Qualitative Behavior Modeling of Information Processing Components},
  booktitle = {Proceedings of the 3rd International Conference on Database Systems
               for Advanced Applications (DASFAA), Daejeon, Korea, April 6-8,
               1993},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {4},
  year      = {1993},
  isbn      = {981-02-1380-8},
  pages     = {435-441},
  ee        = {db/conf/dasfaa/OhLK93.html},
  crossref  = {DBLP:conf/dasfaa/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD 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/An2-2 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/aDVD1 or /dvd

References

[1]

...

[2]

...

[3]

Benjamin Kuipers: Qualitative Simulation. Artif. Intell. 29(3): 289-338(1986) BibTeX

[4]

Stanley Lee, Suzanne Sluizer: An Executable Language For Modeling Simple Behavior. IEEE Trans. Software Eng. 17(6): 527-543(1991) BibTeX

[5]

...

[6]

...

[7]

...

[8]

...

[9]

...

[10]

Herbert Weber, Hartmut Ehrig: Specification of Modular Systems. IEEE Trans. Software Eng. 12(7): 784-798(1986) BibTeX

[11]

Brian C. Williams: Qualitative Analysis of MOS Circuits. Artif. Intell. 24(1-3): 281-346(1984) BibTeX