Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/compsac/0001NAKHS13,
  author       = {Kenji Taguchi and
                  Hideaki Nishihara and
                  Toshiaki Aoki and
                  Fumihiro Kumeno and
                  Koji Hayamizu and
                  Koichi Shinozaki},
  title        = {Building a Body of Knowledge on Model Checking for Software Development},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {784--789},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.129},
  doi          = {10.1109/COMPSAC.2013.129},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/0001NAKHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AddoAC13,
  author       = {Ivor D. Addo and
                  Sheikh Iqbal Ahamed and
                  William C. Chu},
  title        = {Toward Collective Intelligence for Fighting Obesity},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {690--695},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.109},
  doi          = {10.1109/COMPSAC.2013.109},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AddoAC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AjilaB13,
  author       = {Samuel A. Ajila and
                  Akindele A. Bankole},
  title        = {Cloud Client Prediction Models Using Machine Learning Techniques},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {134--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.21},
  doi          = {10.1109/COMPSAC.2013.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AjilaB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AliY13,
  author       = {Shaukat Ali and
                  Tao Yue},
  title        = {A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect
                  State Machines: Results from a Series of Controlled Experiments},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {262--267},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.43},
  doi          = {10.1109/COMPSAC.2013.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AliY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AlkhalidLLA13,
  author       = {Abdulaziz Alkhalid and
                  Chung{-}Horng Lung and
                  Duo Liu and
                  Samuel Ajila},
  title        = {Software Architecture Decomposition Using Clustering Techniques},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {806--811},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.132},
  doi          = {10.1109/COMPSAC.2013.132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AlkhalidLLA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AmanSKO13,
  author       = {Hirohisa Aman and
                  Manami Sasaki and
                  Kei Kureishi and
                  Hideto Ogasawara},
  title        = {Application of the 0-1 Programming Model for Cost-Effective Regression
                  Test},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {720--721},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.116},
  doi          = {10.1109/COMPSAC.2013.116},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AmanSKO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AokiYIY13,
  author       = {Ryoji Aoki and
                  Hiroshi Yamamoto and
                  Kei{-}ichi Iguchi and
                  Katsuyuki Yamazaki},
  title        = {Realtime Guidance System in Hospital Using {PHS} and Android Device},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {451--454},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.75},
  doi          = {10.1109/COMPSAC.2013.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AokiYIY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AoyamaYKICNS13,
  author       = {Mikio Aoyama and
                  Kazuo Yabuta and
                  Tsutomu Kamimura and
                  Souichi Inomata and
                  Toshiya Chiba and
                  Takashi Niwa and
                  Koji Sakata},
  title        = {{PROMIS:} {A} Management Platform for Software Supply Networks Based
                  on the Linked Data and {OSLC}},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {214--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.36},
  doi          = {10.1109/COMPSAC.2013.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/AoyamaYKICNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArvapallyLW13,
  author       = {Ravi Santosh Arvapally and
                  Xiaoqing (Frank) Liu and
                  Donald C. Wunsch II},
  title        = {Fuzzy c-Means Clustering Based Polarization Assessment in Intelligent
                  Argumentation System for Collaborative Decision Support},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {59--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.12},
  doi          = {10.1109/COMPSAC.2013.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ArvapallyLW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Bertino13,
  author       = {Elisa Bertino},
  title        = {Big Data - Opportunities and Challenges Panel Position Paper},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {479--480},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.143},
  doi          = {10.1109/COMPSAC.2013.143},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Bertino13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BissyandeTLJR13,
  author       = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
                  Ferdian Thung and
                  David Lo and
                  Lingxiao Jiang and
                  Laurent R{\'{e}}veill{\`{e}}re},
  title        = {Popularity, Interoperability, and Impact of Programming Languages
                  in 100, 000 Open Source Projects},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {303--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.55},
  doi          = {10.1109/COMPSAC.2013.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BissyandeTLJR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CamposCP13,
  author       = {Pedro F. Campos and
                  Fernando Miguel Campos and
                  Jo{\~{a}}o Pestana},
  title        = {Delineato: {A} Diagramming User Interface Designed Using a "What You
                  Get is What You Need" Approach},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {684--689},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.108},
  doi          = {10.1109/COMPSAC.2013.108},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CamposCP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Chang13,
  author       = {Shih{-}Fang Chang},
  title        = {A Market-in-Market Collaborative Model towards Application Marketplaces},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {718--719},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.115},
  doi          = {10.1109/COMPSAC.2013.115},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Chang13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChangT13,
  author       = {Che{-}Cheng Chang and
                  Jichiang Tsai},
  title        = {Solving the Distributed Trigger Counting Problem without Any Global
                  Assumption},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {200--207},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.34},
  doi          = {10.1109/COMPSAC.2013.34},
  timestamp    = {Tue, 16 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/ChangT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenHHW13,
  author       = {Hsin{-}Chieh Chen and
                  Yi{-}You Hou and
                  Meei{-}Ling Hung and
                  Zhang{-}Lin Wan},
  title        = {Speed Control for Permanent Magnet Synchronous Motor System via Quasi-sliding
                  Mode Control},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {157--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.25},
  doi          = {10.1109/COMPSAC.2013.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenHHW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenL13,
  author       = {Shi{-}Jaw Chen and
                  Chia{-}Hung Lin},
  title        = {Integrating {SVM} Classifier and Distribution State Estimation for
                  Detection and Identification of {AMI} Customer's Meter Data},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {278--279},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.47},
  doi          = {10.1109/COMPSAC.2013.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenLGJ13,
  author       = {Jian{-}Liung Chen and
                  Chia{-}Hung Lin and
                  Bo{-}Wun Gu and
                  Ming{-}Jyi Jang},
  title        = {Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet
                  Synchronous Generator: Using an Approach of Chaos Synchronization},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {159--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.26},
  doi          = {10.1109/COMPSAC.2013.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenLGJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenLJG13,
  author       = {Rong Chen and
                  Yaqing Liu and
                  Zhichun Jia and
                  Jian Gao},
  title        = {Isolating and Understanding Program Errors Using Probabilistic Dispute
                  Model},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {633--638},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.102},
  doi          = {10.1109/COMPSAC.2013.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenLJG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenLWH13,
  author       = {Jinfu Chen and
                  Qing Li and
                  Huanhuan Wang and
                  Rubing Huang},
  title        = {Describing Component Behavior Using Improved Chemical Abstract Machine},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {605--606},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.97},
  doi          = {10.1109/COMPSAC.2013.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenLWH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenWHS13,
  author       = {Tseng{-}Yi Chen and
                  Hsin{-}Wen Wei and
                  Nien{-}I Hsu and
                  Wei{-}Kuan Shih},
  title        = {A IoT Application of Safe Building in IPv6 Network Environment},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {748--753},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.124},
  doi          = {10.1109/COMPSAC.2013.124},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenWHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChenYSL13,
  author       = {Xiaohong Chen and
                  Ronghua Ye and
                  Haiying Sun and
                  Hong Lu},
  title        = {Deriving Requirements Specification with Time: {A} Software Environment
                  Ontology Based Approach},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {431--436},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.71},
  doi          = {10.1109/COMPSAC.2013.71},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChenYSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChoiCKK13,
  author       = {Jang{-}Ho Choi and
                  Jae{-}Hyun Cho and
                  Han{-}Gyu Ko and
                  In{-}Young Ko},
  title        = {Distributed Coordination of IoT-Based Services by Using a Graph Coloring
                  Algorithm},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {399--404},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.67},
  doi          = {10.1109/COMPSAC.2013.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChoiCKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChoudhariRPKZMC13,
  author       = {Ashish Choudhari and
                  Harini Ramaprasad and
                  Tamal Paul and
                  Jonathan W. Kimball and
                  Maciej J. Zawodniok and
                  Bruce M. McMillin and
                  Sriram Chellappan},
  title        = {Stability of a Cyber-physical Smart Grid System Using Cooperating
                  Invariants},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {760--769},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.126},
  doi          = {10.1109/COMPSAC.2013.126},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChoudhariRPKZMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CruzHP13,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {Interactive Verification of Safety-Critical Software},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {519--528},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.86},
  doi          = {10.1109/COMPSAC.2013.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CruzHP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Cuzzocrea13,
  author       = {Alfredo Cuzzocrea},
  title        = {Analytics over Big Data: Exploring the Convergence of DataWarehousing,
                  {OLAP} and Data-Intensive Cloud Infrastructures},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {481--483},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.152},
  doi          = {10.1109/COMPSAC.2013.152},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Cuzzocrea13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CuzzocreaB13,
  author       = {Alfredo Cuzzocrea and
                  Elisa Bertino},
  title        = {Further Theoretical Contributions to a Privacy Preserving Distributed
                  {OLAP} Framework},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {234--239},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.39},
  doi          = {10.1109/COMPSAC.2013.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CuzzocreaB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DayaratnaKT13,
  author       = {H. R. O. E. Dayaratna and
                  Kunitake Kaneko and
                  Fumio Teraoka},
  title        = {Multiple Home Agent Placement Considerations Based on Internet Service
                  Provider Perspective in MobileIPv6},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {471--474},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.80},
  doi          = {10.1109/COMPSAC.2013.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/DayaratnaKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DzungO13,
  author       = {Dang Viet Dzung and
                  Atsushi Ohnishi},
  title        = {Evaluation of Ontology-Based Checking of Software Requirements Specification},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {425--430},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.70},
  doi          = {10.1109/COMPSAC.2013.70},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/DzungO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/EsheteVWZ13,
  author       = {Birhanu Eshete and
                  Adolfo Villafiorita and
                  Komminist Weldemariam and
                  Mohammad Zulkernine},
  title        = {{EINSPECT:} Evolution-Guided Analysis and Detection of Malicious Web
                  Pages},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {375--380},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.63},
  doi          = {10.1109/COMPSAC.2013.63},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/EsheteVWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/EslamimehrP13,
  author       = {Mahdi Eslamimehr and
                  Jens Palsberg},
  title        = {Testing versus Static Analysis of Maximum Stack Size},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {619--626},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.100},
  doi          = {10.1109/COMPSAC.2013.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/EslamimehrP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FanL13,
  author       = {Tuan{-}Fang Fan and
                  Churn{-}Jung Liau},
  title        = {Logical Analysis of Weighted Social Networks - An Extended Abstract},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {280--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.48},
  doi          = {10.1109/COMPSAC.2013.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/FanL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FanYCL13,
  author       = {Guisheng Fan and
                  Huiqun Yu and
                  Liqiong Chen and
                  Dongmei Liu},
  title        = {Modeling and Optimizing Resource Scheduling for Service Composition
                  Based on Queuing Petri Nets},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {529--538},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.87},
  doi          = {10.1109/COMPSAC.2013.87},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/FanYCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FujikawaOMFT13,
  author       = {Masaki Fujikawa and
                  Fumihiko Oda and
                  Kengo Moriyasu and
                  Shingo Fuchi and
                  Yoshikazu Takeda},
  title        = {The New Verification Method of Authenticity for Pottery and Porcelain
                  Products: Application of the Artifact-Metrics Technology},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {714--715},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.113},
  doi          = {10.1109/COMPSAC.2013.113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/FujikawaOMFT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FukumotoAG13,
  author       = {Norihiro Fukumoto and
                  Shigehiro Ano and
                  Shigeki Goto},
  title        = {A Practical Behavior Analysis of Video Application Users on Smart
                  Phones},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {288--289},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.52},
  doi          = {10.1109/COMPSAC.2013.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/FukumotoAG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Fukunaga13,
  author       = {Takafumi Fukunaga},
  title        = {A Portable Method for Improving Available Bandwidth of {PC} Cluster},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {339--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.59},
  doi          = {10.1109/COMPSAC.2013.59},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Fukunaga13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GaniOAS13,
  author       = {Md. Osman Gani and
                  Casey O'Brien and
                  Sheikh Iqbal Ahamed and
                  Roger O. Smith},
  title        = {{RSSI} Based Indoor Localization for Smartphone Using Fixed and Mobile
                  Wireless Node},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {110--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.18},
  doi          = {10.1109/COMPSAC.2013.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/GaniOAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GurelC13,
  author       = {Oral Gurel and
                  Mehmet Ulas Cakir},
  title        = {Promising {XMPP} Based Applications for Military and Defense Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {716--717},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.114},
  doi          = {10.1109/COMPSAC.2013.114},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/GurelC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HaYY13,
  author       = {Phuong Tran Thi Ha and
                  Hiroshi Yamamoto and
                  Katsuyuki Yamazaki},
  title        = {Using Autonomous Air Vehicle in {DTN} Sensor Network for Environmental
                  Observation},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {447--450},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.74},
  doi          = {10.1109/COMPSAC.2013.74},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HaYY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HaoZ013,
  author       = {Dan Hao and
                  Xu Zhao and
                  Lu Zhang},
  title        = {Adaptive Test-Case Prioritization Guided by Output Inspection},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {169--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.31},
  doi          = {10.1109/COMPSAC.2013.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HaoZ013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HongoYY13,
  author       = {Naoya Hongo and
                  Hiroshi Yamamoto and
                  Katsuyuki Yamazaki},
  title        = {Browser Synchronization System for Supporting Elderly People and {IT}
                  Shortfalls},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {455--458},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.76},
  doi          = {10.1109/COMPSAC.2013.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HongoYY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HousleyLRRR13,
  author       = {Laura Housley and
                  Thomas Lynch and
                  Rajiv Ramnath and
                  Peter F. Rogers and
                  Jayashree Ramanathan},
  title        = {Implementation Considerations in Enabling Visually Impaired Musicians
                  to Read Sheet Music Using a Tablet},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {678--683},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.107},
  doi          = {10.1109/COMPSAC.2013.107},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HousleyLRRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HowserM13,
  author       = {Gerry Howser and
                  Bruce M. McMillin},
  title        = {A Multiple Security Domain Model of a Drive-by-Wire System},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {369--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.62},
  doi          = {10.1109/COMPSAC.2013.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HowserM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HuangCZWL13,
  author       = {Rubing Huang and
                  Jinfu Chen and
                  Tao Zhang and
                  Rongcun Wang and
                  Yansheng Lu},
  title        = {Prioritizing Variable-Strength Covering Array},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {502--511},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.84},
  doi          = {10.1109/COMPSAC.2013.84},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/HuangCZWL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/InoueHY13,
  author       = {Shinji Inoue and
                  Shiho Hayashida and
                  Shigeru Yamada},
  title        = {Toward Practical Software Reliability Assessment with Change-Point
                  Based on Hazard Rate Models},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {268--273},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.44},
  doi          = {10.1109/COMPSAC.2013.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/InoueHY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IssertialT13,
  author       = {Laurent Issertial and
                  Hiroshi Tsuji},
  title        = {Data Management and User Interface for a Call for Paper Manager},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {463--466},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.78},
  doi          = {10.1109/COMPSAC.2013.78},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/IssertialT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/IzukuraYSK13,
  author       = {Sayaka Izukura and
                  Kazuo Yanoo and
                  Hiroshi Sakaki and
                  Masato Kawatsu},
  title        = {Determining Appropriate {IT} Systems Design Based on System Models},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {834--835},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.142},
  doi          = {10.1109/COMPSAC.2013.142},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/IzukuraYSK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JesusWG13,
  author       = {Wanderson Paim de Jesus and
                  Juliano Araujo Wickboldt and
                  Lisandro Zambenedetti Granville},
  title        = {ProViNet - An Open Platform for Programmable Virtual Network Management},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {329--338},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.58},
  doi          = {10.1109/COMPSAC.2013.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JesusWG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JiangC13,
  author       = {Bo Jiang and
                  W. K. Chan},
  title        = {Bypassing Code Coverage Approximation Limitations via Effective Input-Based
                  Randomized Test Case Prioritization},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {190--199},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.33},
  doi          = {10.1109/COMPSAC.2013.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JiangC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JiangZSHGS13,
  author       = {Yu Jiang and
                  Hehua Zhang and
                  Xiaoyu Song and
                  William N. N. Hung and
                  Ming Gu and
                  Jiaguang Sun},
  title        = {Verification and Implementation of the Protocol Standard in Train
                  Control System},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {549--558},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.89},
  doi          = {10.1109/COMPSAC.2013.89},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/JiangZSHGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KatoM13,
  author       = {Makoto Kato and
                  Saeko Matsuura},
  title        = {A Dynamic Countermeasure Method to Android Malware by User Approval},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {730--731},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.121},
  doi          = {10.1109/COMPSAC.2013.121},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KatoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KeivanlooR13,
  author       = {Iman Keivanloo and
                  Juergen Rilling},
  title        = {Semantic-Enabled Clone Detection},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {393--398},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.66},
  doi          = {10.1109/COMPSAC.2013.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KeivanlooR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Kharitonov13,
  author       = {Vasily Y. Kharitonov},
  title        = {A Software Architecture for High-Level Development of Component-Based
                  Distributed Virtual Reality Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {696--705},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.111},
  doi          = {10.1109/COMPSAC.2013.111},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Kharitonov13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KinoshitaWYGS13,
  author       = {Shunichi Kinoshita and
                  Toshiki Watanabe and
                  Yasuhiro Yamasaki and
                  Hideaki Goto and
                  Hideaki Sone},
  title        = {Fault-Tolerant Wireless {LAN} Roaming System Using Client Certificates},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {822--823},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.137},
  doi          = {10.1109/COMPSAC.2013.137},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KinoshitaWYGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KitaharaHKFNA13,
  author       = {Takeshi Kitahara and
                  Yasuhiko Hiehata and
                  Hideyuki Koto and
                  Norihiro Fukumoto and
                  Hajime Nakamura and
                  Shigehiro Ano},
  title        = {Autonomous Data Transmission Using Off-Peak Hours for Cellular-Based
                  {M2M} Communications},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {167--168},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.30},
  doi          = {10.1109/COMPSAC.2013.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KitaharaHKFNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KuoHWLWY13,
  author       = {Chao{-}Lin Kuo and
                  Lung{-}Chuan Huang and
                  Shun{-}Jih Wang and
                  Jui{-}Sheng Lin and
                  Cheng{-}Chi Wang and
                  Jun{-}Juh Yan},
  title        = {Image Encryption Based on Fuzzy Synchronization of Chaos Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {153--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.23},
  doi          = {10.1109/COMPSAC.2013.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KuoHWLWY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KuwaD13,
  author       = {Daisuke Kuwa and
                  Tadashi Dohi},
  title        = {Generalized Logit Regression-Based Software Reliability Modeling with
                  Metrics Data},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {246--255},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.41},
  doi          = {10.1109/COMPSAC.2013.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/KuwaD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Li0AY13,
  author       = {Jiyi Li and
                  Qiang Ma and
                  Yasuhito Asano and
                  Masatoshi Yoshikawa},
  title        = {Potential Semantics in Multi-modal Relevance Feedback Information
                  for Image Retrieval},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {830--831},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.140},
  doi          = {10.1109/COMPSAC.2013.140},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Li0AY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiH13,
  author       = {Xu Li and
                  Linpeng Huang},
  title        = {Evaluation of Software Architectures Reliability Based on Hypergraph
                  Grammar},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {601--602},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.95},
  doi          = {10.1109/COMPSAC.2013.95},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiHCY13,
  author       = {Chen Li and
                  Linpeng Huang and
                  Luxi Chen and
                  Chengyuan Yu},
  title        = {Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture
                  Description Language},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {800--805},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.131},
  doi          = {10.1109/COMPSAC.2013.131},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiHCY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiWLWH13,
  author       = {Xiaoyong Li and
                  Yijie Wang and
                  Xiaoling Li and
                  Yuan Wang and
                  Rubing Huang},
  title        = {Parallelizing Probabilistic Streaming Skyline Operator in Cloud Computing
                  Environments},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {84--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.15},
  doi          = {10.1109/COMPSAC.2013.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiWLWH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiXWW13,
  author       = {Ke Li and
                  Junchao Xiao and
                  Yongji Wang and
                  Qing Wang},
  title        = {Analysis of the Key Factors for Software Quality in Crowdsourcing
                  Development: An Empirical Study on TopCoder.com},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {812--817},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.133},
  doi          = {10.1109/COMPSAC.2013.133},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiXWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiZC13,
  author       = {Minbo Li and
                  Zhu Zhu and
                  Guangyu Chen},
  title        = {A Scalable and High-efficiency Discovery Service Using a New Storage},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {754--759},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.125},
  doi          = {10.1109/COMPSAC.2013.125},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiZC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiZCP13,
  author       = {Jingtao Li and
                  Jie Zhang and
                  Zhen Cao and
                  Wengang Pei},
  title        = {GenRe: {A} General Replication Scheme over an Abstraction of DHTs},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {43--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.10},
  doi          = {10.1109/COMPSAC.2013.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiZCP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiZCPZ13,
  author       = {Jingtao Li and
                  Chao Zhong and
                  Zhen Cao and
                  Wengang Pei and
                  Xi Zhou},
  title        = {Examining Privacy Concern in Social-Driven Location Sharing: An Empirical
                  Study on Chinese Popular SNSs},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {668--677},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.106},
  doi          = {10.1109/COMPSAC.2013.106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiZCPZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiaoLC13,
  author       = {Jianwei Liao and
                  Xiaoyan Liu and
                  Yingshen Chen},
  title        = {Dynamical Re-striping Data on Storage Servers in Parallel File Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {65--73},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.13},
  doi          = {10.1109/COMPSAC.2013.13},
  timestamp    = {Wed, 08 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/LiaoLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LinTL13,
  author       = {Whei{-}Min Lin and
                  Chia{-}Sheng Tu and
                  Chia{-}Hung Lin},
  title        = {Support Vector Machine-Based Fuzzy Inference Systems for Service Restoration
                  Strategy in Micro-distribution Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {161--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.27},
  doi          = {10.1109/COMPSAC.2013.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LinTL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LinWCKCC13,
  author       = {Chia{-}Hung Lin and
                  Chun{-}Chao Wang and
                  Jian{-}Liung Chen and
                  Yi{-}Pin Kuo and
                  Wei{-}Ling Chen and
                  Che{-}Wei Chang},
  title        = {Interaction Physical-Activity Housekeeper for Silver-Haired Citizen
                  Using Wireless Sensor and Mobile Healthcare iPhone},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {274--275},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.45},
  doi          = {10.1109/COMPSAC.2013.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LinWCKCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiuHBZZ13,
  author       = {Liangxing Liu and
                  Weili Han and
                  Elisa Bertino and
                  Tao Zhou and
                  Xinyi Zhang},
  title        = {Efficient General Policy Decision by Using Mutable Variable Aware
                  Cache},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {359--368},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.61},
  doi          = {10.1109/COMPSAC.2013.61},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiuHBZZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiuXLY13,
  author       = {Lei Liu and
                  Jing Xu and
                  Minglei Li and
                  Jufeng Yang},
  title        = {A Dynamic {SQL} Injection Vulnerability Test Case Generation Model
                  Based on the Multiple Phases Detection Approach},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {256--261},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.42},
  doi          = {10.1109/COMPSAC.2013.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiuXLY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuSM13,
  author       = {Zheng Lu and
                  Christopher Steinmuller and
                  Supratik Mukhopadhyay},
  title        = {Towards Formal Verification of a Commercial Wireless Router Firmware},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {639--647},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.103},
  doi          = {10.1109/COMPSAC.2013.103},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LuSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuoOD13,
  author       = {Chao Luo and
                  Hiroyuki Okamura and
                  Tadashi Dohi},
  title        = {Modeling and Analysis of Multi-version Concurrent Control},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {53--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.11},
  doi          = {10.1109/COMPSAC.2013.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LuoOD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LvYC13,
  author       = {Junpeng Lv and
                  Bei{-}Bei Yin and
                  Kai{-}Yuan Cai},
  title        = {On the Gain of Measuring Test Case Prioritization},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {627--632},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.101},
  doi          = {10.1109/COMPSAC.2013.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LvYC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MaTCD13,
  author       = {Chunyan Ma and
                  Tian Tan and
                  Yibo Chen and
                  Yunwei Dong},
  title        = {An If-While-If Model-Based Performance Evaluation of Ranking Metrics
                  for Spectra-Based Fault Localization},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {609--618},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.99},
  doi          = {10.1109/COMPSAC.2013.99},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MaTCD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MahmoodA13,
  author       = {Sajjad Mahmood and
                  Samuel A. Ajila},
  title        = {Software Requirements Elicitation - {A} Controlled Experiment to Measure
                  the Impact of a Native Natural Language},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {437--442},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.72},
  doi          = {10.1109/COMPSAC.2013.72},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MahmoodA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MarottaCST13,
  author       = {Marcelo Antonio Marotta and
                  Felipe Jose Carbone and
                  Jos{\'{e}} Jair Cardoso de Santanna and
                  Liane Margarida Rockenbach Tarouco},
  title        = {Through the Internet of Things - {A} Management by Delegation Smart
                  Object Aware System (MbDSAS)},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {732--741},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.122},
  doi          = {10.1109/COMPSAC.2013.122},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MarottaCST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MatsuoGKHN13,
  author       = {Kazuya Matsuo and
                  Keisuke Goto and
                  Akimitsu Kanzaki and
                  Takahiro Hara and
                  Shojiro Nishio},
  title        = {Agent Redeployment and Missing Data Regathering in Mobile Wireless
                  Sensor Networks},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {100--109},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.17},
  doi          = {10.1109/COMPSAC.2013.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MatsuoGKHN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MoonLKKYC13,
  author       = {Jae Won Moon and
                  Tae{-}Beom Lim and
                  Kyung Won Kim and
                  Seung{-}woo Kum and
                  Myunghyun Yoon and
                  Kwangsu Cho},
  title        = {A Framework for Dynamic Context-Awarable User Interfaces of the Second
                  Screen Devices in a Home Network Environment},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {284--285},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.50},
  doi          = {10.1109/COMPSAC.2013.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MoonLKKYC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MorikawaYY13,
  author       = {Atsushi Morikawa and
                  Hiroshi Yamamoto and
                  Katsuyuki Yamazaki},
  title        = {Timing Synchronization of ZigBee Sensor Network for Ecology Observation},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {443--446},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.73},
  doi          = {10.1109/COMPSAC.2013.73},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MorikawaYY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MouLJ13,
  author       = {Lili Mou and
                  Ge Li and
                  Zhi Jin},
  title        = {Domain Hyponymy Hierarchy Discovery by Iterative Web Searching and
                  Inferable Semantics Based Concept Selecting},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {387--392},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.65},
  doi          = {10.1109/COMPSAC.2013.65},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MouLJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MouttappaMC13,
  author       = {Pramila Mouttappa and
                  Stephane Maag and
                  Ana R. Cavalli},
  title        = {Monitoring Based on {IOSTS} for Testing Functional and Security Properties:
                  Application to an Automotive Case Study},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.5},
  doi          = {10.1109/COMPSAC.2013.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MouttappaMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MurakamiAK13,
  author       = {Tadashi Murakami and
                  Toshiyuki Amagasa and
                  Hiroyuki Kitagawa},
  title        = {DBPowder: {A} Flexible Object-Relational Mapping Framework Based on
                  a Conceptual Model},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {589--598},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.93},
  doi          = {10.1109/COMPSAC.2013.93},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/MurakamiAK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NerellaMW13,
  author       = {Venkata Krishna Suhas Nerella and
                  Sanjay Kumar Madria and
                  Thomas Weigert},
  title        = {Optimization of Object Queries on Collections Using Annotations for
                  the String Valued Attributes},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {313--318},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.56},
  doi          = {10.1109/COMPSAC.2013.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/NerellaMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NgP13,
  author       = {Beng Heng Ng and
                  Atul Prakash},
  title        = {Expose: Discovering Potential Binary Code Re-use},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {492--501},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.83},
  doi          = {10.1109/COMPSAC.2013.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/NgP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NguyenMY13,
  author       = {Kien Nguyen and
                  Quang Tran Minh and
                  Shigeki Yamada},
  title        = {Towards Optimal Disaster Recovery in Backbone Networks},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {826--827},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.138},
  doi          = {10.1109/COMPSAC.2013.138},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/NguyenMY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NishimuraY13,
  author       = {Yasutaka Nishimura and
                  Kiyohito Yoshihara},
  title        = {A Device Specification Method Using Doppler Effect of Acoustic Waves},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {90--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.16},
  doi          = {10.1109/COMPSAC.2013.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/NishimuraY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NoroM13,
  author       = {Atsushi Noro and
                  Saeko Matsuura},
  title        = {{UML} based Security Function Policy Verification Method for Requirements
                  Specification},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {832--833},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.141},
  doi          = {10.1109/COMPSAC.2013.141},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/NoroM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Ogata013,
  author       = {Kazuhiro Ogata and
                  Min Zhang},
  title        = {A Divide and Conquer Approach to Model Checking of Liveness Properties},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {648--657},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.104},
  doi          = {10.1109/COMPSAC.2013.104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Ogata013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OguraUF13,
  author       = {Kazumine Ogura and
                  Hirofumi Ueda and
                  Norihito Fujita},
  title        = {A Scalable {DTN} Routing Protocol for an Infra-less Communication
                  System},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {818--819},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.134},
  doi          = {10.1109/COMPSAC.2013.134},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/OguraUF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OhAJLK13,
  author       = {Jaewon Oh and
                  Woo Hyun Ahn and
                  Seungho Jeong and
                  Jinsoo Lim and
                  Taegong Kim},
  title        = {Automated Transformation of Template-Based Web Applications into Single-Page
                  Applications},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {292--302},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.54},
  doi          = {10.1109/COMPSAC.2013.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/OhAJLK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OikawaM13,
  author       = {Shuichi Oikawa and
                  Satoshi Miki},
  title        = {File-Based Memory Management for Non-volatile Main Memory},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {559--568},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.90},
  doi          = {10.1109/COMPSAC.2013.90},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/OikawaM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OkamotoMO13,
  author       = {Hiroki Okamoto and
                  Ryosuke Matsumoto and
                  Yasuo Okabe},
  title        = {Design of Cooperative Load Distribution for Addressing Flash Crowds
                  Using {P2P} File Sharing Network},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {220--225},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.37},
  doi          = {10.1109/COMPSAC.2013.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/OkamotoMO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OthmanO13,
  author       = {Othman M. M. Othman and
                  Koji Okamura},
  title        = {Enhancing Control Model to Ease Off Centralized Control of Flow-Based
                  SDNs},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {467--470},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.79},
  doi          = {10.1109/COMPSAC.2013.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/OthmanO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/QiMLDQW13,
  author       = {Yuhua Qi and
                  Xiaoguang Mao and
                  Yan Lei and
                  Ziying Dai and
                  Yudong Qi and
                  Chengsong Wang},
  title        = {Empirical Effectiveness Evaluation of Spectra-Based Fault Localization
                  on Automated Program Repair},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {828--829},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.139},
  doi          = {10.1109/COMPSAC.2013.139},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/QiMLDQW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RaatikainenKBKJ13,
  author       = {Mikko Raatikainen and
                  Marko Komssi and
                  Vittorio dal Bianco and
                  Klas Kindstr{\"{o}}m and
                  Janne J{\"{a}}rvinen},
  title        = {Industrial Experiences of Organizing a Hackathon to Assess a Device-centric
                  Cloud Ecosystem},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {790--799},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.130},
  doi          = {10.1109/COMPSAC.2013.130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/RaatikainenKBKJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RamlerP13,
  author       = {Rudolf Ramler and
                  Werner Putsch{\"{o}}gl},
  title        = {A Retrospection on Building a Custom Tool for Automated System Testing},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {820--821},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.135},
  doi          = {10.1109/COMPSAC.2013.135},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/RamlerP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RamlerWK13,
  author       = {Rudolf Ramler and
                  Klaus Wolfmaier and
                  Theodorich Kopetzky},
  title        = {A Replicated Study on Random Test Case Generation and Manual Unit
                  Testing: How Many Bugs Do Professional Developers Find?},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {484--491},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.82},
  doi          = {10.1109/COMPSAC.2013.82},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/RamlerWK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RashwanOW13,
  author       = {Abderahman Rashwan and
                  Olga Ormandjieva and
                  Ren{\'{e}} Witte},
  title        = {Ontology-Based Classification of Non-functional Requirements in Software
                  Specifications: {A} New Corpus and SVM-Based Classifier},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {381--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.64},
  doi          = {10.1109/COMPSAC.2013.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/RashwanOW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RendonSG13,
  author       = {Oscar Maur{\'{\i}}cio Caicedo Rend{\'{o}}n and
                  Felipe Estrada Solano and
                  Lisandro Zambenedetti Granville},
  title        = {A Mashup-Based Approach for Virtual {SDN} Management},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.22},
  doi          = {10.1109/COMPSAC.2013.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/RendonSG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Rosa13,
  author       = {Nelson Souto Rosa},
  title        = {Formalising Middleware Systems: {A} Design Pattern-Based Approach},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {658--667},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.105},
  doi          = {10.1109/COMPSAC.2013.105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Rosa13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Rubio-MedranoAS13,
  author       = {Carlos E. Rubio{-}Medrano and
                  Gail{-}Joon Ahn and
                  Karsten Sohr},
  title        = {Verifying Access Control Properties with Design by Contract: Framework
                  and Lessons Learned},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {21--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.7},
  doi          = {10.1109/COMPSAC.2013.7},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Rubio-MedranoAS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SalamaS13,
  author       = {Maria Salama and
                  Ahmed Shawish},
  title        = {Junosphere: Towards Professional Networks Education},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {290--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.53},
  doi          = {10.1109/COMPSAC.2013.53},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SalamaS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SateliAW13,
  author       = {Bahar Sateli and
                  Elian Angius and
                  Ren{\'{e}} Witte},
  title        = {The ReqWiki Approach for Collaborative Software Requirements Engineering
                  with Integrated Text Analysis Support},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {405--414},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.68},
  doi          = {10.1109/COMPSAC.2013.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/SateliAW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Sato13,
  author       = {Aki{-}Hiro Sato},
  title        = {Recursive Segmentation Procedure Based on the Akaike Information Criterion
                  Test},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {226--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.38},
  doi          = {10.1109/COMPSAC.2013.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Sato13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShimizuSY13,
  author       = {Toshiyuki Shimizu and
                  Tomo Sueki and
                  Masatoshi Yoshikawa},
  title        = {Supporting Keyword Selection in Generating Earth Science Metadata},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {603--604},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.96},
  doi          = {10.1109/COMPSAC.2013.96},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ShimizuSY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/StrasburgBW13,
  author       = {Chris Strasburg and
                  Samik Basu and
                  Johnny S. Wong},
  title        = {{S-MAIDS:} {A} Semantic Model for Automated Tuning, Correlation, and
                  Response Selection in Intrusion Detection Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {319--328},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.57},
  doi          = {10.1109/COMPSAC.2013.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/StrasburgBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TakagiFM13,
  author       = {Tomohiko Takagi and
                  Zengo Furukawa and
                  Yoshinobu Machida},
  title        = {Test Strategies Using Operational Profiles Based on Decision Tables},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {722--723},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.117},
  doi          = {10.1109/COMPSAC.2013.117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TakagiFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TakagiwaIN13,
  author       = {Kenichi Takagiwa and
                  Shinichi Ishida and
                  Hiroaki Nishi},
  title        = {SoR-Based Programmable Network for Future Software-Defined Network},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {165--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.29},
  doi          = {10.1109/COMPSAC.2013.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TakagiwaIN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TakaguchiSYM13,
  author       = {Taro Takaguchi and
                  Nobuo Sato and
                  Kazuo Yano and
                  Naoki Masuda},
  title        = {Inferring Directed Static Networks of Influence from Undirected Temporal
                  Networks},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {155--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.24},
  doi          = {10.1109/COMPSAC.2013.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TakaguchiSYM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TakahashiYFAY13,
  author       = {Tatsuya Takahashi and
                  Hiroshi Yamamoto and
                  Norihiro Fukumoto and
                  Shigehiro Ano and
                  Katsuyuki Yamazaki},
  title        = {Congestion Detection in Mobile Network towards Complex Event Processing},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {459--462},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.77},
  doi          = {10.1109/COMPSAC.2013.77},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TakahashiYFAY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TanakaMHHK13,
  author       = {Takafumi Tanaka and
                  Kazuki Mori and
                  Hiroaki Hashiura and
                  Atsuo Hazeyama and
                  Seiichi Komiya},
  title        = {Support System for Software Development Exercise that Utilizes Activity
                  Data Collected in Real Time from the Development Environment},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {726--727},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.119},
  doi          = {10.1109/COMPSAC.2013.119},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TanakaMHHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TangL13,
  author       = {Shan Tang and
                  Qiang Liu},
  title        = {Supporting Integration of {COTS} Components from a Perspective of
                  Self-Adaptive Software Architecture},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {706--713},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.112},
  doi          = {10.1109/COMPSAC.2013.112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TaparugssanagornSP13,
  author       = {Attaphongse Taparugssanagorn and
                  Siwaruk Siwamogsatham and
                  Carlos A. Pomalaza{-}Raez},
  title        = {A Hexagonal Coverage {LED-ID} Indoor Positioning Based on {TDOA} with
                  Extended Kalman Filter},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {742--747},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.123},
  doi          = {10.1109/COMPSAC.2013.123},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TaparugssanagornSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TsangL13,
  author       = {Chi{-}Lok Tsang and
                  Yiu{-}Wing Leung},
  title        = {Automatic Redemption of Free Parking in Shopping Malls},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {286--287},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.51},
  doi          = {10.1109/COMPSAC.2013.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/TsangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/UchidaOO13,
  author       = {Kimiko Uchida and
                  Yoshihiko Oya and
                  Takashi Okuda},
  title        = {Conversation Characteristics during Pair Work in Computer Literacy
                  Education},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {599--600},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.94},
  doi          = {10.1109/COMPSAC.2013.94},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/UchidaOO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangCYCL13,
  author       = {Jyun{-}Jie Wang and
                  Hong{-}Da Chen and
                  Ting{-}Ya Yang and
                  Houshou Chen and
                  Chi{-}Yuan Lin},
  title        = {Data Hiding Technique by Ternary Hamming Codes},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {163--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.28},
  doi          = {10.1109/COMPSAC.2013.28},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/WangCYCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangGLSZ13,
  author       = {Rui Wang and
                  Yong Guan and
                  Liming Luo and
                  Xiaoyu Song and
                  Jie Zhang},
  title        = {Formal Modelling of {PLC} Systems by {BIP} Components},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {512--518},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.85},
  doi          = {10.1109/COMPSAC.2013.85},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangGLSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangMWL13,
  author       = {Horng{-}Tzer Wang and
                  Ching{-}Hao Mao and
                  Te{-}En Wei and
                  Hahn{-}Ming Lee},
  title        = {Clustering of Similar Malware Behavior via Structural Host-Sequence
                  Comparison},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {349--358},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.60},
  doi          = {10.1109/COMPSAC.2013.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangMWL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangWYX13,
  author       = {Yu{-}Min Wang and
                  Yi{-}Shun Wang and
                  Ching{-}Hsuan Yeh and
                  Min{-}Quan Xie},
  title        = {The Relationships among Presentation Mode, Product Type, Consumers'
                  Product Knowledge, and Consumers' Purchase Intention in the E-Commerce
                  Environment},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {282--283},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.49},
  doi          = {10.1109/COMPSAC.2013.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangWYX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangWZ13,
  author       = {Yasha Wang and
                  Jiangtao Wang and
                  Xiaoyu Zhang},
  title        = {QTime: {A} Queuing-Time Notification System Based on Participatory
                  Sensing Data},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {770--777},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.127},
  doi          = {10.1109/COMPSAC.2013.127},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangZGX13,
  author       = {Jin Wang and
                  Yong Zhang and
                  Yang Gao and
                  Chunxiao Xing},
  title        = {pLSM: {A} Highly Efficient LSM-Tree Index Supporting Real-Time Big
                  Data Analysis},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {240--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.40},
  doi          = {10.1109/COMPSAC.2013.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WangZGX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WatanabeMKI13,
  author       = {Tomoki Watanabe and
                  Rika Mochizuki and
                  Toru Kobayashi and
                  Masao Isshiki},
  title        = {{HACCS:} Home Appliance Control Concierge System: Extending Functions
                  on Web Service},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {208--213},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.35},
  doi          = {10.1109/COMPSAC.2013.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WatanabeMKI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WatashibaHDAIKST13,
  author       = {Yasuhiro Watashiba and
                  Seiichiro Hirabara and
                  Susumu Date and
                  Hirotake Abe and
                  Kohei Ichikawa and
                  Yoshiyuki Kido and
                  Shinji Shimojo and
                  Haruo Takemura},
  title        = {OpenFlow Network Visualization Software with Flow Control Interface},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {475--477},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.81},
  doi          = {10.1109/COMPSAC.2013.81},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WatashibaHDAIKST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WeiLMHRR13,
  author       = {Chenjie Wei and
                  Heesung Lee and
                  Luke Molnar and
                  Michael Herold and
                  Rajiv Ramnath and
                  Jay Ramanathan},
  title        = {Assisted Human-in-the-Loop Adaptation of Web Pages for Mobile Devices},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {118--123},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.19},
  doi          = {10.1109/COMPSAC.2013.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WeiLMHRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WuHTHTSL13,
  author       = {Guan{-}Zhong Wu and
                  Chen{-}Che Huang and
                  Yui{-}Chey Teng and
                  Jiun{-}Long Huang and
                  Wei{-}Chih Ting and
                  Yi{-}Yu Su and
                  Pin{-}Chuan Liu},
  title        = {On Simplifying Mobile Mashup Application Development},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {728--729},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.120},
  doi          = {10.1109/COMPSAC.2013.120},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/WuHTHTSL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/XiaoA13,
  author       = {Fuyuan Xiao and
                  Masayoshi Aritsugi},
  title        = {Nested Pattern Queries Processing Optimization over Multi-dimensional
                  Event Streams},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.14},
  doi          = {10.1109/COMPSAC.2013.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/XiaoA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/XuDWX13,
  author       = {Weifeng Xu and
                  Tao Ding and
                  Hanlin Wang and
                  Dianxiang Xu},
  title        = {Mining Test Oracles for Test Inputs Generated from Java Bytecode},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {27--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.8},
  doi          = {10.1109/COMPSAC.2013.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/XuDWX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YanaseSSY13,
  author       = {Ryo Yanase and
                  Tatsunori Sakai and
                  Makoto Sakai and
                  Satoshi Yamane},
  title        = {Development of Model Checker of Dynamic Linear Hybrid Automata},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {607--608},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.98},
  doi          = {10.1109/COMPSAC.2013.98},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YanaseSSY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YinJZZW13,
  author       = {Bin Yin and
                  Zhi Jin and
                  Wei Zhang and
                  Haiyan Zhao and
                  Bo Wei},
  title        = {Finding Optimal Solution for Satisficing Non-functional Requirements
                  via 0-1 Programming},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {415--424},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.69},
  doi          = {10.1109/COMPSAC.2013.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YinJZZW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YonemuraKT13,
  author       = {Kazuma Yonemura and
                  Kunitake Kaneko and
                  Fumio Teraoka},
  title        = {{CLINEX:} An Inter-node Cross-Layer Cooperation Architecture to Adapt
                  to Dynamically Changing Network Situation},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {33--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.9},
  doi          = {10.1109/COMPSAC.2013.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YonemuraKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YooY13,
  author       = {Junbeom Yoo and
                  Sanghyun Yoon},
  title        = {{SQAF-DS:} {A} Software Quality Assessment Framework for Dependable
                  Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {724--725},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.118},
  doi          = {10.1109/COMPSAC.2013.118},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YooY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Yoshida13,
  author       = {Takafumi Yoshida},
  title        = {A Perspective on Computer-Based Training, {CBT}},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {778--783},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.128},
  doi          = {10.1109/COMPSAC.2013.128},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Yoshida13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YouHPH13,
  author       = {Yi{-}Sian You and
                  Chin{-}Yu Huang and
                  Kuan{-}Li Peng and
                  Chao{-}Jung Hsu},
  title        = {Evaluation and Analysis of Spectrum-Based Fault Localization with
                  Modified Similarity Coefficients for Software Debugging},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {180--189},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.32},
  doi          = {10.1109/COMPSAC.2013.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YouHPH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YuZGW13,
  author       = {Dongjin Yu and
                  Yanyan Zhang and
                  Jianlin Ge and
                  Wei Wu},
  title        = {From Sub-patterns to Patterns: An Approach to the Detection of Structural
                  Design Pattern Instances by Subgraph Mining and Merging},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {579--588},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.92},
  doi          = {10.1109/COMPSAC.2013.92},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/YuZGW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhanLTW13,
  author       = {Tung{-}Sheng Zhan and
                  Whei{-}Min Lin and
                  Ming{-}Huang Tsai and
                  Guo{-}Shiang Wang},
  title        = {Design and Implementation of the Dual-Axis Solar Tracking System},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {276--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.46},
  doi          = {10.1109/COMPSAC.2013.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhanLTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhangWLCT13,
  author       = {Fan Zhang and
                  Jinwu Wang and
                  Xiaoqing (Frank) Liu and
                  Buqing Cao and
                  Mingdong Tang},
  title        = {{CASAT-HOOMT:} Computer Aided Software Analysis Tool Based on High
                  Order Object-Oriented Modeling Technique},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {824--825},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.136},
  doi          = {10.1109/COMPSAC.2013.136},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhangWLCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhangXDZM13,
  author       = {Yu Zhang and
                  Fei Xie and
                  Yunwei Dong and
                  Xingshe Zhou and
                  Chunyan Ma},
  title        = {Cyber/Physical Co-verification for Developing Reliable Cyber-physical
                  Systems},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {539--548},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.88},
  doi          = {10.1109/COMPSAC.2013.88},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhangXDZM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhangZCL0Z13,
  author       = {Xiaodong Zhang and
                  Ying Zhang and
                  Xing Chen and
                  Kai Liu and
                  Gang Huang and
                  Jianfeng Zhan},
  title        = {A Relationship-Based {VM} Placement Framework of Cloud Environment},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {124--133},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.20},
  doi          = {10.1109/COMPSAC.2013.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhangZCL0Z13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhongYYT13,
  author       = {Yang Zhong and
                  Hirofumi Yamaki and
                  Yukiko Yamaguchi and
                  Hiroki Takakura},
  title        = {{ARIGUMA} Code Analyzer: Efficient Variant Detection by Identifying
                  Common Instruction Sequences in Malware Families},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.6},
  doi          = {10.1109/COMPSAC.2013.6},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhongYYT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhouWSYZHG13,
  author       = {Min Zhou and
                  Hai Wan and
                  Chen Su and
                  Liangze Yin and
                  Lianyi Zhang and
                  Fei He and
                  Ming Gu},
  title        = {Component-Based Modeling and Code Synthesis for Cyclic Programs},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {569--578},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.91},
  doi          = {10.1109/COMPSAC.2013.91},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhouWSYZHG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Zulkernine13,
  author       = {Mohammad Zulkernine},
  title        = {Software Assurance: What Should We Do Next?},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {478},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.146},
  doi          = {10.1109/COMPSAC.2013.146},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Zulkernine13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2013,
  title        = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6605717/proceeding},
  isbn         = {978-0-7695-4986-6},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics