Search dblp for Publications

export results for "toc:db/conf/compsac/compsac1995.bht:"

 download as .bib file

@inproceedings{DBLP:conf/compsac/AritsugiM95,
  author       = {Masayoshi Aritsugi and
                  Akifumi Makinouchi},
  title        = {Design and Implementation of Multiple Type Objects in a Persistent
                  Programming Language},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {70--76},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524760},
  doi          = {10.1109/CMPSAC.1995.524760},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AritsugiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Bastani95,
  author       = {Farokh B. Bastani},
  title        = {(Position Paper) Fault-Tolerant Software},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {391},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10008},
  doi          = {10.1109/COMPSAC.1995.10008},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Bastani95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BoardmanGKM95,
  author       = {David B. Boardman and
                  Geoffrey Greene and
                  Vivek Khandelwal and
                  Aditya P. Mathur},
  title        = {{LISTEN:} {A} Tool to Investigate the Use of Sound for the Analysis
                  of Program Behavior},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {184--189},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524778},
  doi          = {10.1109/CMPSAC.1995.524778},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BoardmanGKM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BrunoA95,
  author       = {Giorgio Bruno and
                  Rakesh Agarwal},
  title        = {Architectural Framework for Developing Concurrent Applications},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {256--261},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524788},
  doi          = {10.1109/CMPSAC.1995.524788},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BrunoA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CavenderZ95,
  author       = {Mark E. Cavender and
                  Xiaodong Zhang},
  title        = {Software Support for Asynchronous Computing Across Networks},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {376--382},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524804},
  doi          = {10.1109/CMPSAC.1995.524804},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CavenderZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CazabonB95,
  author       = {Yvan Cazabon and
                  Michael Bauer},
  title        = {A Policy Independent Metric for Process Selection in Distributed Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {212--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524782},
  doi          = {10.1109/CMPSAC.1995.524782},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CazabonB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangHM95,
  author       = {Carl K. Chang and
                  Bashir Haswarey and
                  Pattanasak Mongkolwat},
  title        = {Creating {A} Distributed Environment Using Object-Oriented Technology},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {262--267},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524789},
  doi          = {10.1109/CMPSAC.1995.524789},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChangHM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangL95,
  author       = {Chao{-}Tsun Chang and
                  Chung{-}Shyan Liu},
  title        = {A Hybrid Approach to Object Library Classification and Retireval},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {278--283},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524791},
  doi          = {10.1109/CMPSAC.1995.524791},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChangL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangW95,
  author       = {Yao{-}Jen Chang and
                  Benjamin W. Wah},
  title        = {Lagrangian Techniques for Solving a Class of Zero-One Integer Linear
                  Programs},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {156--161},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524774},
  doi          = {10.1109/CMPSAC.1995.524774},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChangW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenLS95,
  author       = {Tzer{-}Shyong Chen and
                  Feipei Lai and
                  Rung{-}Ji Shang},
  title        = {A Simple Tree Pattern Matching Algorithm for Code Generator},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {162--167},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524775},
  doi          = {10.1109/CMPSAC.1995.524775},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenLS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CheungNMH95,
  author       = {Wah Kheang Cheung and
                  Chrystopher L. Nehaniv and
                  Kenjiro Takai Miura and
                  Yin Seong Ho},
  title        = {Hierarchical Multimodel-Based Structural Consistency Support Tools
                  for Specifying and Prototyping Complex Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {245--254},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524787},
  doi          = {10.1109/CMPSAC.1995.524787},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CheungNMH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChuY95,
  author       = {William C. Chu and
                  Hongji Yang},
  title        = {Component Reuse Through Reverse Engineering and Semantic Interface
                  Analysis},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {290--296},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524793},
  doi          = {10.1109/CMPSAC.1995.524793},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChuY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChungMK95,
  author       = {Soon Myoung Chung and
                  Pyeong S. Mah and
                  Junguk L. Kim},
  title        = {Management of Flexible Transactions Using Semantics in Multidatabase
                  Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {134--141},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524771},
  doi          = {10.1109/CMPSAC.1995.524771},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChungMK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DemirorsF95,
  author       = {Onur Demir{\"{o}}rs and
                  Dennis J. Frailey},
  title        = {A horizontal approach for software process improvement},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {326--331},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524797},
  doi          = {10.1109/CMPSAC.1995.524797},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/DemirorsF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DuganK95,
  author       = {Joanne Bechta Dugan and
                  K. H. Kim},
  title        = {(Position Paper) Quantitative Analysis of Software- and Hardware-
                  Fault Tolerance},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {392},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10007},
  doi          = {10.1109/COMPSAC.1995.10007},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/DuganK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GaoKHTC95,
  author       = {Jerry Z. Gao and
                  David Chenho Kung and
                  Pei Hsia and
                  Yasufumi Toyoshima and
                  Cris Chen},
  title        = {Object state testing for object-oriented programs},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {232--238},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524785},
  doi          = {10.1109/CMPSAC.1995.524785},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/GaoKHTC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Gibson95,
  author       = {K. A. Gibson},
  title        = {Improving software process to implement a wireless mobile network},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {91--92},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524763},
  doi          = {10.1109/CMPSAC.1995.524763},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Gibson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GrabowL95,
  author       = {Paul C. Grabow and
                  L. Liu},
  title        = {Automatic Generation of {C++} Code from an {ESCRO2} Specification},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {18--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524753},
  doi          = {10.1109/CMPSAC.1995.524753},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/GrabowL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/He95,
  author       = {Xudong He},
  title        = {A method for analyzing properties of hierarchical predicate transition
                  nets},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {50--55},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524757},
  doi          = {10.1109/CMPSAC.1995.524757},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/He95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HowdenS95,
  author       = {William E. Howden and
                  G. M. Shi},
  title        = {Temporal Event Analysis and Program Understanding},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {4--11},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524751},
  doi          = {10.1109/CMPSAC.1995.524751},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HowdenS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HuarngS95,
  author       = {Kunhuang Huarng and
                  Dick B. Simmons},
  title        = {Knowledge Reuse through the Application of the Object Knowledge Canonical
                  Form},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {40--45},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524756},
  doi          = {10.1109/CMPSAC.1995.524756},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HuarngS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HuiHA95,
  author       = {Chi{-}Chung Hui and
                  Mounir Hamdi and
                  Ishfaq Ahmad},
  title        = {A software platform for solving PDEs on distributed systems: implementation
                  issues and performance prediction},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {383--388},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524805},
  doi          = {10.1109/CMPSAC.1995.524805},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HuiHA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Jia95,
  author       = {Xiaoping Jia},
  title        = {An approach to animating {Z} specifications},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {108--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524767},
  doi          = {10.1109/CMPSAC.1995.524767},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Jia95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JungY95,
  author       = {Jin Ho Jung and
                  Hyun Seung Yang},
  title        = {The Multimedia Desktop Conference System Adaptability in Network Traffic
                  on {LAN}},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {334--338},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524798},
  doi          = {10.1109/CMPSAC.1995.524798},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JungY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KaoC95,
  author       = {I{-}Lung Kao and
                  Randy Chow},
  title        = {Enforcing complex security policies for commercial applications},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {402--408},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524807},
  doi          = {10.1109/CMPSAC.1995.524807},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KaoC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Kim95,
  author       = {Eun Gyung Kim},
  title        = {A Study on Developing a Distributed Problem Solving System},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {122--127},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524769},
  doi          = {10.1109/CMPSAC.1995.524769},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Kim95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimN95,
  author       = {Hyun C. Kim and
                  V. S. S. Nair},
  title        = {Application layer software fault tolerance for distributed object-oriented
                  systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {199--204},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524780},
  doi          = {10.1109/CMPSAC.1995.524780},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KimN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KungGHTC95,
  author       = {David Chenho Kung and
                  Jerry Gao and
                  Pei Hsia and
                  Yasufumi Toyoshima and
                  Cris Chen},
  title        = {A Test Strategy for Object-Oriented Programs},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {239--244},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524786},
  doi          = {10.1109/CMPSAC.1995.524786},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/KungGHTC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KwonL95,
  author       = {Taeck{-}Geun Kwon and
                  Sukho Lee},
  title        = {{FFU:} Far-Future-Using Replacement Algorithms for Continuous Media
                  Storage System},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {346--351},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524800},
  doi          = {10.1109/CMPSAC.1995.524800},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KwonL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LeeHCP95,
  author       = {Jonathan Lee and
                  Wei T. Huang and
                  Cheng{-}Kai Chang and
                  Jiann{-}I Pan},
  title        = {Expressing {JSD} in {Z}},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {62--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524759},
  doi          = {10.1109/CMPSAC.1995.524759},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LeeHCP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LeeL95,
  author       = {Sangdon Lee and
                  Sukho Lee},
  title        = {Applying Dynamic Buffer Allocation to Predictive Load Control},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {150--155},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524773},
  doi          = {10.1109/CMPSAC.1995.524773},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LeeL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LeeMTC95,
  author       = {Pen{-}Nan Lee and
                  Lawrence Miller and
                  Ping{-}Chuan Tai and
                  Yiwei Chen},
  title        = {Object Oriented Design for a Distributed Priority Queue},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {192--198},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524779},
  doi          = {10.1109/CMPSAC.1995.524779},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LeeMTC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LeeOTC95,
  author       = {Hing{-}Yan Lee and
                  Hwee{-}Leng Ong and
                  Eng{-}Whatt Toh and
                  Sieu{-}Kong Chan},
  title        = {A Multi-Dimensional Data Visualization Tool for Knowledge Discovery
                  in Databases},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {26--31},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524754},
  doi          = {10.1109/CMPSAC.1995.524754},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LeeOTC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuJW95,
  author       = {Ruqian Lu and
                  Zhi Jin and
                  Ronglin Wan},
  title        = {Requirement Specification in Pseudo-Natural Language in {PROMIS}},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {96--101},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524765},
  doi          = {10.1109/CMPSAC.1995.524765},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LuJW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LungU95,
  author       = {Chung{-}Horng Lung and
                  Joseph E. Urban},
  title        = {An Expanded View of Domain Modeling for Software Analogy},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {77--82},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524761},
  doi          = {10.1109/CMPSAC.1995.524761},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LungU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Mei95,
  author       = {Hsing Mei},
  title        = {Scheduling dependent real-time multimedia tasks on distributed systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {306--311},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524795},
  doi          = {10.1109/CMPSAC.1995.524795},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Mei95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MengKC95,
  author       = {Weiyi Meng and
                  Aqueo Kamada and
                  Yuhsi Chang},
  title        = {Transformation of Relational Schemas to Object-Oriented Schemas},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {356--361},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524801},
  doi          = {10.1109/CMPSAC.1995.524801},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MengKC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MitchellG95,
  author       = {J. Roger Mitchell and
                  Vijay K. Garg},
  title        = {Deriving distributed algorithms from a general predicate detector},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {268--273},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524790},
  doi          = {10.1109/CMPSAC.1995.524790},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MitchellG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Murphy95,
  author       = {Carl Murphy},
  title        = {Parallel Software Engineering - Goals 2000},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {93--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10003},
  doi          = {10.1109/COMPSAC.1995.10003},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Murphy95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Myers95,
  author       = {Margaret E. Myers},
  title        = {Department of Defense Information Technology Initiatives},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {170--171},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10005},
  doi          = {10.1109/COMPSAC.1995.10005},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Myers95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PunK95,
  author       = {P. K. C. Pun and
                  Hilary J. Kahn},
  title        = {A Multiparadigm Programming Approach for Developing Knowledge-Based
                  Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {362--368},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524802},
  doi          = {10.1109/CMPSAC.1995.524802},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/PunK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Russomanno95,
  author       = {David J. Russomanno},
  title        = {The Object-Inferencing Framework: {A} Prolog-Based Approach for Extracting
                  Structure from Computer Graphics},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {172--177},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524776},
  doi          = {10.1109/CMPSAC.1995.524776},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Russomanno95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SchollmeyerM95,
  author       = {Martina Schollmeyer and
                  Bruce M. McMillin},
  title        = {Checking Program Proofs Made Eas},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {102--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524766},
  doi          = {10.1109/CMPSAC.1995.524766},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SchollmeyerM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShenLWCC95,
  author       = {Fu{-}Fu Shen and
                  Whei{-}Yee Lin and
                  Chea{-}Yean Wong and
                  Chien{-}Wei Cheng and
                  Hsien{-}Sheng Chen},
  title        = {Information Mediation System Design Strategy among Telecommunication
                  Related Information Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {422--427},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524810},
  doi          = {10.1109/CMPSAC.1995.524810},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ShenLWCC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SherrellC95,
  author       = {Linda B. Sherrell and
                  Doris L. Carver},
  title        = {FunZ Designs {A} Bridge between {Z} Specifications and Haskell Implementations},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {12--17},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524752},
  doi          = {10.1109/CMPSAC.1995.524752},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SherrellC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShiZ95,
  author       = {Qi Shi and
                  Ning Zhang},
  title        = {A General Approach to Evaluation of Secure Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {396--401},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524806},
  doi          = {10.1109/CMPSAC.1995.524806},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ShiZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Stary95,
  author       = {Christian Stary},
  title        = {User Interface Design: The WHO, the WHAT, and the {HOW} Revisited},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {178--183},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524777},
  doi          = {10.1109/CMPSAC.1995.524777},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Stary95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Stilman95,
  author       = {Boris Stilman},
  title        = {Dynamic Hierarchy for Multiagent Air Combat},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {83--88},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524762},
  doi          = {10.1109/CMPSAC.1995.524762},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Stilman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/StubbsC95,
  author       = {Shelly S. Stubbs and
                  Doris L. Carver},
  title        = {{IPCC++:} {A} {C++} Extension for InterProcess Communication with
                  Objects},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {205--210},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524781},
  doi          = {10.1109/CMPSAC.1995.524781},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/StubbsC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SubramanianVMTE95,
  author       = {Satish Subramanian and
                  Ramakrishna V. Vishnuvajjala and
                  Ramin Mojdehbakhsh and
                  Wei{-}Tek Tsai and
                  Lynn Elliott},
  title        = {A Framework for Designing Safe Software Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {409--414},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524808},
  doi          = {10.1109/CMPSAC.1995.524808},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SubramanianVMTE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TvedtC95,
  author       = {John D. Tvedt and
                  James S. Collofello},
  title        = {Evaluating the Effectiveness of Process Improvements on Software Development
                  Cycle Time via System Dynamics Modeling},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {318--325},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524796},
  doi          = {10.1109/CMPSAC.1995.524796},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TvedtC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WatkinsO95,
  author       = {Alfred R. Watkins and
                  Edward Omiecinski},
  title        = {Storing Continuous Media Objects Using Parallelism With Merging},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {339--345},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524799},
  doi          = {10.1109/CMPSAC.1995.524799},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WatkinsO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Wiil95,
  author       = {Uffe Kock Wiil},
  title        = {HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software
                  System Integration},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {298--305},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524794},
  doi          = {10.1109/CMPSAC.1995.524794},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Wiil95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WongH95,
  author       = {Paul Yiu Chung Wong and
                  Siu Chi Hsu},
  title        = {Designing Chinese Typeface Using Components},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {416--421},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524809},
  doi          = {10.1109/CMPSAC.1995.524809},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WongH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/X95,
  title        = {Software Technology in the 21st Centurey: {A} Technology Forecast},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {90},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10000},
  doi          = {10.1109/COMPSAC.1995.10000},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/X95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/X95a,
  author       = {V. S. S. Nair},
  title        = {Software Fault Tolerance: Has it Arrived Yet?},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {390},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10009},
  doi          = {10.1109/COMPSAC.1995.10009},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/X95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/X95b,
  title        = {(Position Paper) Software Fault Tolerance at the Operating System
                  Level},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {393--395},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10006},
  doi          = {10.1109/COMPSAC.1995.10006},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/X95b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YauBW95,
  author       = {Stephen S. Yau and
                  Doo{-}Hwan Bae and
                  Jun Wang},
  title        = {An Architecture-Independent Software Development Approach for Parallel
                  Processing Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {370--375},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524803},
  doi          = {10.1109/CMPSAC.1995.524803},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YauBW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YenC95,
  author       = {I{-}Ling Yen and
                  Ing{-}Ray Chen},
  title        = {Quality Assessment for Multiple Server Cooperating Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {218--223},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524783},
  doi          = {10.1109/CMPSAC.1995.524783},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YenC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YooKLI95,
  author       = {Jae Soo Yoo and
                  Myoung{-}Ho Kim and
                  Yoon{-}Joon Lee and
                  Byoung Mo Im},
  title        = {Performance Evaluation of Dynamic Signature File Methods},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {144--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524772},
  doi          = {10.1109/CMPSAC.1995.524772},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YooKLI95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Yoon95,
  author       = {Jongpil Yoon},
  title        = {Using Constraints for Distributed Query Processing},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {128--133},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524770},
  doi          = {10.1109/CMPSAC.1995.524770},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Yoon95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YoshinoUOSHS95,
  author       = {T. Yoshino and
                  Sanya Uehara and
                  Takao Okubo and
                  S. Suguta and
                  Y. Hotta and
                  M. Sonobe},
  title        = {Reverse Engineering from {COBOL} to Narrative Specification},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {284--289},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524792},
  doi          = {10.1109/CMPSAC.1995.524792},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YoshinoUOSHS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YuenL95,
  author       = {S. M. Yuen and
                  K. P. Lam},
  title        = {A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor
                  Systems},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {32--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524755},
  doi          = {10.1109/CMPSAC.1995.524755},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YuenL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZengTW95,
  author       = {Xiaomu Zeng and
                  Jeffrey J. P. Tsai and
                  Thomas J. Weigert},
  title        = {Improving Software Quality through a Novel Testing Strategy},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {224--229},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524784},
  doi          = {10.1109/CMPSAC.1995.524784},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZengTW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhuM95,
  author       = {Ming{-}Yuan Zhu and
                  Xiao{-}Bai Mo},
  title        = {Mechanical synthesis of a unification algorithm in PowerEpsilon},
  booktitle    = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  pages        = {56--61},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/CMPSAC.1995.524758},
  doi          = {10.1109/CMPSAC.1995.524758},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhuM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/1995,
  title        = {19th International Computer Software and Applications Conference (COMPSAC'95),
                  August 9-11, 1995, Dallas, Texas, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4006/proceeding},
  isbn         = {0-8186-7119-X},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics