Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Shinichi Honiden
@inproceedings{DBLP:conf/icsoft/MatsuzakiH23, author = {Kazutaka Matsuzaki and Shinichi Honiden}, editor = {Hans{-}Georg Fill and Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and Marten van Sinderen and Leszek A. Maciaszek}, title = {Enhancing {ICS} Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing}, booktitle = {Proceedings of the 18th International Conference on Software Technologies, {ICSOFT} 2023, Rome, Italy, July 10-12, 2023}, pages = {660--667}, publisher = {{SCITEPRESS}}, year = {2023}, url = {https://doi.org/10.5220/0012137100003538}, doi = {10.5220/0012137100003538}, timestamp = {Mon, 31 Jul 2023 15:39:29 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/MatsuzakiH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/NakagawaH23, author = {Hiroyuki Nakagawa and Shinichi Honiden}, editor = {Kurt Schneider and Fabiano Dalpiaz and Jennifer Horkoff}, title = {{MAPE-K} Loop-Based Goal Model Generation Using Generative {AI}}, booktitle = {31st {IEEE} International Requirements Engineering Conference, {RE} 2023 - Workshops, Hannover, Germany, September 4-5, 2023}, pages = {247--251}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/REW57809.2023.00050}, doi = {10.1109/REW57809.2023.00050}, timestamp = {Fri, 06 Oct 2023 16:02:58 +0200}, biburl = {https://dblp.org/rec/conf/re/NakagawaH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secrypt/MatsuzakiSH23, author = {Kazutaka Matsuzaki and Kenji Sawada and Shinichi Honiden}, editor = {Sabrina De Capitani di Vimercati and Pierangela Samarati}, title = {Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis}, booktitle = {Proceedings of the 20th International Conference on Security and Cryptography, {SECRYPT} 2023, Rome, Italy, July 10-12, 2023}, pages = {805--812}, publisher = {{SCITEPRESS}}, year = {2023}, url = {https://doi.org/10.5220/0012132600003555}, doi = {10.5220/0012132600003555}, timestamp = {Mon, 31 Jul 2023 15:34:21 +0200}, biburl = {https://dblp.org/rec/conf/secrypt/MatsuzakiSH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/LiZMZJHT22, author = {Jialong Li and Mingyue Zhang and Zhenyu Mao and Haiyan Zhao and Zhi Jin and Shinichi Honiden and Kenji Tei}, title = {Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation}, booktitle = {29th Asia-Pacific Software Engineering Conference, {APSEC} 2022, Virtual Event, Japan, December 6-9, 2022}, pages = {189--198}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/APSEC57359.2022.00031}, doi = {10.1109/APSEC57359.2022.00031}, timestamp = {Mon, 27 Feb 2023 15:22:37 +0100}, biburl = {https://dblp.org/rec/conf/apsec/LiZMZJHT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsos/ZhangLZTHJ21, author = {Mingyue Zhang and Jialong Li and Haiyan Zhao and Kenji Tei and Shinichi Honiden and Zhi Jin}, editor = {Esam El{-}Araby and Vana Kalogeraki and Danilo Pianini and Fr{\'{e}}d{\'{e}}ric Lassabe and Barry Porter and Sona Ghahremani and Ingrid Nunes and Mohamed Bakhouya and Sven Tomforde}, title = {A Meta Reinforcement Learning-based Approach for Self-Adaptive System}, booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing Systems, {ACSOS} 2021, Washington, DC, USA, September 27 - Oct. 1, 2021}, pages = {1--10}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ACSOS52086.2021.00024}, doi = {10.1109/ACSOS52086.2021.00024}, timestamp = {Thu, 13 Jan 2022 08:43:55 +0100}, biburl = {https://dblp.org/rec/conf/acsos/ZhangLZTHJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcce/MaoLZTH21, author = {Zhenyu Mao and Jialong Li and Nianzhao Zheng and Kenji Tei and Shinichi Honiden}, title = {Transfer Learning Method in Reinforcement Learning-based Traffic Signal Control}, booktitle = {10th {IEEE} Global Conference on Consumer Electronics, {GCCE} 2021, Kyoto, Japan, October 12-15, 2021}, pages = {304--307}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/GCCE53005.2021.9621842}, doi = {10.1109/GCCE53005.2021.9621842}, timestamp = {Fri, 03 Dec 2021 08:37:30 +0100}, biburl = {https://dblp.org/rec/conf/gcce/MaoLZTH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcce/DingLTH21, author = {Yichen Ding and Jialong Li and Kenji Tei and Shinichi Honiden}, title = {Blockchain-Based Cooperative Incentive System for Emergency Road Right Transferring}, booktitle = {10th {IEEE} Global Conference on Consumer Electronics, {GCCE} 2021, Kyoto, Japan, October 12-15, 2021}, pages = {736--739}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/GCCE53005.2021.9621857}, doi = {10.1109/GCCE53005.2021.9621857}, timestamp = {Fri, 03 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gcce/DingLTH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ica2/LingLTH21, author = {Jiali Ling and Jialong Li and Kenji Tei and Shinichi Honiden}, title = {Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework}, booktitle = {{IEEE} International Conference on Agents, {ICA} 2021, Kyoto, Japan, December 13-15, 2021}, pages = {47--52}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICA54137.2021.00015}, doi = {10.1109/ICA54137.2021.00015}, timestamp = {Wed, 04 May 2022 09:41:05 +0200}, biburl = {https://dblp.org/rec/conf/ica2/LingLTH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lifetech/LiMCTH21, author = {Jialong Li and Zhenyu Mao and Zhen Cao and Kenji Tei and Shinichi Honiden}, title = {Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence}, booktitle = {3rd {IEEE} Global Conference on Life Sciences and Technologies, LifeTech 2021, Nara, Japan, March 9-11, 2021}, pages = {204--206}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/LifeTech52111.2021.9391909}, doi = {10.1109/LIFETECH52111.2021.9391909}, timestamp = {Thu, 15 Apr 2021 14:30:33 +0200}, biburl = {https://dblp.org/rec/conf/lifetech/LiMCTH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-04986, author = {Mingyue Zhang and Jialong Li and Haiyan Zhao and Kenji Tei and Shinichi Honiden and Zhi Jin}, title = {A Meta Reinforcement Learning-based Approach for Self-Adaptive System}, journal = {CoRR}, volume = {abs/2105.04986}, year = {2021}, url = {https://arxiv.org/abs/2105.04986}, eprinttype = {arXiv}, eprint = {2105.04986}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-04986.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/NahabedianBDHKT20, author = {Leandro Nahabedian and V{\'{\i}}ctor A. Braberman and Nicol{\'{a}}s D'Ippolito and Shinichi Honiden and Jeff Kramer and Kenji Tei and Sebasti{\'{a}}n Uchitel}, title = {Dynamic Update of Discrete Event Controllers}, journal = {{IEEE} Trans. Software Eng.}, volume = {46}, number = {11}, pages = {1220--1240}, year = {2020}, url = {https://doi.org/10.1109/TSE.2018.2876843}, doi = {10.1109/TSE.2018.2876843}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/NahabedianBDHKT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aike/KuwanaTFH20, author = {Kengo Kuwana and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, title = {Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis}, booktitle = {3rd {IEEE} International Conference on Artificial Intelligence and Knowledge Engineering, {AIKE} 2020, Laguna Hills, CA, USA, December 9-13, 2020}, pages = {168--173}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/AIKE48582.2020.00033}, doi = {10.1109/AIKE48582.2020.00033}, timestamp = {Fri, 26 Feb 2021 11:33:29 +0100}, biburl = {https://dblp.org/rec/conf/aike/KuwanaTFH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aike/YamauchiTH20, author = {Takuto Yamauchi and Kenji Tei and Shinichi Honiden}, title = {Method for Low-Cost Environment Partitioning Modeling in Dynamic Update}, booktitle = {3rd {IEEE} International Conference on Artificial Intelligence and Knowledge Engineering, {AIKE} 2020, Laguna Hills, CA, USA, December 9-13, 2020}, pages = {183--187}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/AIKE48582.2020.00036}, doi = {10.1109/AIKE48582.2020.00036}, timestamp = {Fri, 26 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aike/YamauchiTH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/WashizakiTUYFHO20, author = {Hironori Washizaki and Kenji Tei and Kazunori Ueda and Hayato Yamana and Yoshiaki Fukazawa and Shinichi Honiden and Shoichi Okazaki and Nobukazu Yoshioka and Naoshi Uchihira}, title = {Smart {SE:} Smart Systems and Services Innovative Professional Education Program}, booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference, {COMPSAC} 2020, Madrid, Spain, July 13-17, 2020}, pages = {1113--1114}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/COMPSAC48688.2020.0-114}, doi = {10.1109/COMPSAC48688.2020.0-114}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/WashizakiTUYFHO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/LiATH20, author = {Jialong Li and Kazuya Aizawa and Kenji Tei and Shinichi Honiden}, editor = {Guojun Wang and Gregorio Mart{\'{\i}}nez P{\'{e}}rez and Scott Fowler and Kuan{-}Ching Li}, title = {Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault}, booktitle = {18th {IEEE} International Conference on Embedded and Ubiquitous Computing, {EUC} 2020, Guangzhou, China, December 31, 2020 - January 1, 2021}, pages = {33--40}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EUC50751.2020.00012}, doi = {10.1109/EUC50751.2020.00012}, timestamp = {Fri, 30 Apr 2021 12:35:39 +0200}, biburl = {https://dblp.org/rec/conf/euc/LiATH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isda/LiTH20, author = {Jialong Li and Kenji Tei and Shinichi Honiden}, editor = {Ajith Abraham and Vincenzo Piuri and Niketa Gandhi and Patrick Siarry and Arturas Kaklauskas and Ana Madureira}, title = {Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change}, booktitle = {Intelligent Systems Design and Applications - 20th International Conference on Intelligent Systems Design and Applications {(ISDA} 2020) held December 12-15, 2020}, series = {Advances in Intelligent Systems and Computing}, volume = {1351}, pages = {945--955}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-71187-0\_87}, doi = {10.1007/978-3-030-71187-0\_87}, timestamp = {Tue, 21 Mar 2023 20:55:14 +0100}, biburl = {https://dblp.org/rec/conf/isda/LiTH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vee/SaekiNSH20, author = {Takaya Saeki and Yuichi Nishiwaki and Takahiro Shinagawa and Shinichi Honiden}, editor = {Santosh Nagarakatte and Andrew Baumann and Baris Kasikci}, title = {A robust and flexible operating system compatibility architecture}, booktitle = {{VEE} '20: 16th {ACM} {SIGPLAN/SIGOPS} International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020}, pages = {129--142}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3381052.3381327}, doi = {10.1145/3381052.3381327}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vee/SaekiNSH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2020seams, editor = {Shinichi Honiden and Elisabetta Di Nitto and Radu Calinescu}, title = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3387939}, doi = {10.1145/3387939}, isbn = {978-1-4503-7962-5}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2020seams.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/KobayashiIH19, author = {Tsutomu Kobayashi and Fuyuki Ishikawa and Shinichi Honiden}, title = {Consistency-preserving refactoring of refinement structures in Event-B models}, journal = {Formal Aspects Comput.}, volume = {31}, number = {3}, pages = {287--320}, year = {2019}, url = {https://doi.org/10.1007/s00165-019-00478-z}, doi = {10.1007/S00165-019-00478-Z}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/KobayashiIH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/SaruwatariIKH19, author = {Shinnosuke Saruwatari and Fuyuki Ishikawa and Tsutomu Kobayashi and Shinichi Honiden}, title = {Change Impact Analysis for Refinement-Based Formal Specification}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {102-D}, number = {8}, pages = {1462--1477}, year = {2019}, url = {https://doi.org/10.1587/transinf.2018FOP0006}, doi = {10.1587/TRANSINF.2018FOP0006}, timestamp = {Mon, 18 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/SaruwatariIKH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BennaceurGTKWCD19, author = {Amel Bennaceur and Carlo Ghezzi and Kenji Tei and Timo Kehrer and Danny Weyns and Radu Calinescu and Schahram Dustdar and Zhenjiang Hu and Shinichi Honiden and Fuyuki Ishikawa and Zhi Jin and Jeffrey Kramer and Marin Litoiu and Michele Loreti and Gabriel A. Moreno and Hausi A. M{\"{u}}ller and Laura Nenzi and Bashar Nuseibeh and Liliana Pasquale and Wolfgang Reisig and Heinz Schmidt and Christos Tsigkanos and Haiyan Zhao}, editor = {Marin Litoiu and Siobh{\'{a}}n Clarke and Kenji Tei}, title = {Modelling and analysing resilient cyber-physical systems}, booktitle = {Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {70--76}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1109/SEAMS.2019.00018}, doi = {10.1109/SEAMS.2019.00018}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uic/AizawaTH19, author = {Kazuya Aizawa and Kenji Tei and Shinichi Honiden}, title = {Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems}, booktitle = {2019 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing, Advanced {\&} Trusted Computing, Scalable Computing {\&} Communications, Cloud {\&} Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019}, pages = {1363--1370}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249}, doi = {10.1109/SMARTWORLD-UIC-ATC-SCALCOM-IOP-SCI.2019.00249}, timestamp = {Mon, 20 Apr 2020 11:50:00 +0200}, biburl = {https://dblp.org/rec/conf/uic/AizawaTH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/YB2019, editor = {Yijun Yu and Arosha K. Bandara and Shinichi Honiden and Zhenjiang Hu and Tetsuo Tamai and Hausi A. M{\"{u}}ller and John Mylopoulos and Bashar Nuseibeh}, title = {Engineering Adaptive Software Systems - Communications of {NII} Shonan Meetings}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-981-13-2185-6}, doi = {10.1007/978-981-13-2185-6}, isbn = {978-981-13-2184-9}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/YB2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/KatoIH18, author = {Koki Kato and Fuyuki Ishikawa and Shinichi Honiden}, title = {Falsification of Cyber-Physical Systems with Reinforcement Learning}, booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018}, pages = {5--6}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/MT-CPS.2018.00009}, doi = {10.1109/MT-CPS.2018.00009}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpsweek/KatoIH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ica2/AizawaTH18, author = {Kazuya Aizawa and Kenji Tei and Shinichi Honiden}, title = {Identifying safety properties guaranteed in changed environment at runtime}, booktitle = {{IEEE} International Conference on Agents, {ICA} 2018, Singapore, July 28-31, 2018}, pages = {75--80}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.ieeecomputersociety.org/10.1109/AGENTS.2018.8460083}, doi = {10.1109/AGENTS.2018.8460083}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ica2/AizawaTH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TsukamotoMH18, author = {Keita Tsukamoto and Yuta Maezawa and Shinichi Honiden}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1944--1951}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167340}, doi = {10.1145/3167132.3167340}, timestamp = {Wed, 25 Sep 2019 18:12:13 +0200}, biburl = {https://dblp.org/rec/conf/sac/TsukamotoMH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/SaruwatariIKH17, author = {Shinnosuke Saruwatari and Fuyuki Ishikawa and Tsutomu Kobayashi and Shinichi Honiden}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {Extracting Traceability between Predicates in Event-B Refinement}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {61--70}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.12}, doi = {10.1109/APSEC.2017.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/SaruwatariIKH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsys/SaekiNSH17, author = {Takaya Saeki and Yuichi Nishiwaki and Takahiro Shinagawa and Shinichi Honiden}, title = {Bash on Ubuntu on macOS}, booktitle = {Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017}, pages = {17:1--17:8}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3124680.3124733}, doi = {10.1145/3124680.3124733}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsys/SaekiNSH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TaharaOH17, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Formal Verification of Dynamic Evolution Processes of {UML} Models Using Aspects}, booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017}, pages = {152--162}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/SEAMS.2017.4}, doi = {10.1109/SEAMS.2017.4}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/TaharaOH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/TanabeTFH17, author = {Moeka Tanabe and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, title = {Learning environment model at runtime for self-adaptive systems}, booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech, Morocco, April 3-7, 2017}, pages = {1198--1204}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3019612.3019776}, doi = {10.1145/3019612.3019776}, timestamp = {Wed, 01 Feb 2023 17:58:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/TanabeTFH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/MoritaIH17, author = {Daichi Morita and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Kim Guldstrand Larsen and Oleg Sokolsky and Ji Wang}, title = {Construction of Abstract State Graphs for Understanding Event-B Models}, booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10606}, pages = {250--265}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-69483-2\_15}, doi = {10.1007/978-3-319-69483-2\_15}, timestamp = {Tue, 13 Apr 2021 10:56:13 +0200}, biburl = {https://dblp.org/rec/conf/setta/MoritaIH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/IkeshitaIH17, author = {Katsuhiko Ikeshita and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Sebastian Gabmeyer and Einar Broch Johnsen}, title = {Test Suite Reduction in Idempotence Testing of Infrastructure as Code}, booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10375}, pages = {98--115}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61467-0\_6}, doi = {10.1007/978-3-319-61467-0\_6}, timestamp = {Tue, 23 Jun 2020 17:47:28 +0200}, biburl = {https://dblp.org/rec/conf/tap/IkeshitaIH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/AkiyamaHTH16, author = {Soramichi Akiyama and Takahiro Hirofuchi and Ryousei Takano and Shinichi Honiden}, title = {Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via {SAN}}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {99-D}, number = {12}, pages = {3024--3034}, year = {2016}, url = {https://doi.org/10.1587/transinf.2016PAP0021}, doi = {10.1587/TRANSINF.2016PAP0021}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/AkiyamaHTH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/0001IH16, author = {Florian Wagner and Fuyuki Ishikawa and Shinichi Honiden}, title = {Robust Service Compositions with Functional and Location Diversity}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {9}, number = {2}, pages = {277--290}, year = {2016}, url = {https://doi.org/10.1109/TSC.2013.2295791}, doi = {10.1109/TSC.2013.2295791}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/0001IH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/KobayashiIH16, author = {Tsutomu Kobayashi and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Isabelle Comyn{-}Wattiau and Katsumi Tanaka and Il{-}Yeol Song and Shuichiro Yamamoto and Motoshi Saeki}, title = {Stepwise Refinement of Software Development Problem Analysis}, booktitle = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu, Japan, November 14-17, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9974}, pages = {488--495}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46397-1\_37}, doi = {10.1007/978-3-319-46397-1\_37}, timestamp = {Thu, 23 Jun 2022 19:56:58 +0200}, biburl = {https://dblp.org/rec/conf/er/KobayashiIH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/KobayashiIH16, author = {Tsutomu Kobayashi and Fuyuki Ishikawa and Shinichi Honiden}, editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou}, title = {Refactoring Refinement Structure of Event-B Machines}, booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9995}, pages = {444--459}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48989-6\_27}, doi = {10.1007/978-3-319-48989-6\_27}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/KobayashiIH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/SaekiIH16, author = {Takaya Saeki and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu}, title = {Automatic Generation of Potentially Pathological Instances for Validating Alloy Models}, booktitle = {Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10009}, pages = {41--56}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47846-3\_4}, doi = {10.1007/978-3-319-47846-3\_4}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/SaekiIH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NahabedianBDHKT16, author = {Leandro Nahabedian and V{\'{\i}}ctor A. Braberman and Nicol{\'{a}}s D'Ippolito and Shinichi Honiden and Jeff Kramer and Kenji Tei and Sebasti{\'{a}}n Uchitel}, title = {Assured and correct dynamic update of controllers}, booktitle = {Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016}, pages = {96--107}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2897053.2897056}, doi = {10.1145/2897053.2897056}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/icse/NahabedianBDHKT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/TokumotoYSH16, author = {Susumu Tokumoto and Hiroaki Yoshida and Kazunori Sakamoto and Shinichi Honiden}, title = {MuVM: Higher Order Mutation Analysis Virtual Machine for {C}}, booktitle = {2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016}, pages = {320--329}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICST.2016.18}, doi = {10.1109/ICST.2016.18}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/TokumotoYSH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LimBKIH15, author = {Soo Ling Lim and Peter J. Bentley and Natalie Kanakam and Fuyuki Ishikawa and Shinichi Honiden}, title = {Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering}, journal = {{IEEE} Trans. Software Eng.}, volume = {41}, number = {1}, pages = {40--64}, year = {2015}, url = {https://doi.org/10.1109/TSE.2014.2360674}, doi = {10.1109/TSE.2014.2360674}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LimBKIH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/TeiSFH15, author = {Kenji Tei and Ryo Shimizu and Yoshiaki Fukazawa and Shinichi Honiden}, title = {Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks}, journal = {{IEEE} Trans. Syst. Man Cybern. Syst.}, volume = {45}, number = {4}, pages = {675--687}, year = {2015}, url = {https://doi.org/10.1109/TSMC.2014.2360506}, doi = {10.1109/TSMC.2014.2360506}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/TeiSFH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/MoralesIH15, author = {Fernando Tarin Morales and Fuyuki Ishikawa and Shinichi Honiden}, editor = {James Cheney and Thomas Neumann}, title = {Abstract rewriting Approach to solve Datalog programs}, booktitle = {Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015}, pages = {29--36}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2815072.2815076}, doi = {10.1145/2815072.2815076}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dbpl/MoralesIH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YagitaIH15, author = {Miki Yagita and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Tom{\'{a}}s Bures and Danny Weyns and Mark Klein and Rodolfo E. Haber}, title = {An Application Conflict Detection and Resolution System for Smart Homes}, booktitle = {1st {IEEE/ACM} International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17, 2015}, pages = {33--39}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SEsCPS.2015.14}, doi = {10.1109/SESCPS.2015.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/YagitaIH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/YatohSIH15, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Michal Young and Tao Xie}, title = {Feedback-controlled random test generation}, booktitle = {Proceedings of the 2015 International Symposium on Software Testing and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015}, pages = {316--326}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2771783.2771805}, doi = {10.1145/2771783.2771805}, timestamp = {Fri, 05 Nov 2021 10:54:23 +0100}, biburl = {https://dblp.org/rec/conf/issta/YatohSIH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/KleinIH14, author = {Adrian Klein and Fuyuki Ishikawa and Shinichi Honiden}, title = {SanGA: {A} Self-Adaptive Network-Aware Approach to Service Composition}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {7}, number = {3}, pages = {452--464}, year = {2014}, url = {https://doi.org/10.1109/TSC.2013.2}, doi = {10.1109/TSC.2013.2}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/KleinIH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/AkiyamaHTH14, author = {Soramichi Akiyama and Takahiro Hirofuchi and Ryousei Takano and Shinichi Honiden}, title = {Fast Live Migration with Small {IO} Performance Penalty by Exploiting {SAN} in Parallel}, booktitle = {2014 {IEEE} 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27 - July 2, 2014}, pages = {40--47}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CLOUD.2014.16}, doi = {10.1109/CLOUD.2014.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcloud/AkiyamaHTH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/KobayashiIH14, author = {Tsutomu Kobayashi and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Yamine A{\"{\i}}t Ameur and Klaus{-}Dieter Schewe}, title = {Understanding and Planning Event-B Refinement through Primitive Rationales}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8477}, pages = {277--283}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43652-3\_24}, doi = {10.1007/978-3-662-43652-3\_24}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/KobayashiIH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/XuIIMH14, author = {Shengbo Xu and Yuki Inoue and Tetsunari Inamura and Hirotaka Moriguchi and Shinichi Honiden}, editor = {Ana L. C. Bazzan and Michael N. Huhns and Alessio Lomuscio and Paul Scerri}, title = {Sample efficiency improvement on neuroevolution via estimation-based elimination strategy}, booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, {AAMAS} '14, Paris, France, May 5-9, 2014}, pages = {1537--1538}, publisher = {{IFAAMAS/ACM}}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2616050}, timestamp = {Thu, 25 Sep 2014 07:46:15 +0200}, biburl = {https://dblp.org/rec/conf/atal/XuIIMH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cloudcom/AkiyamaHH14, author = {Soramichi Akiyama and Takahiro Hirofuchi and Shinichi Honiden}, title = {Evaluating Impact of Live Migration on Data Center Energy Saving}, booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014}, pages = {759--762}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CloudCom.2014.42}, doi = {10.1109/CLOUDCOM.2014.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cloudcom/AkiyamaHH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/YatohSIH14, author = {Kohsuke Yatoh and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, title = {ArbitCheck: {A} Highly Automated Property-Based Testing Tool for Java}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}}, pages = {405--412}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ICSTW.2014.68}, doi = {10.1109/ICSTW.2014.68}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/YatohSIH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/SuzukiSIH14, author = {Takayuki Suzuki and Kazunori Sakamoto and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Chanchal K. Roy and Andrew Begel and Leon Moonen}, title = {An approach for evaluating and suggesting method names using n-gram models}, booktitle = {22nd International Conference on Program Comprehension, {ICPC} 2014, Hyderabad, India, June 2-3, 2014}, pages = {271--274}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2597008.2597797}, doi = {10.1145/2597008.2597797}, timestamp = {Tue, 06 Nov 2018 16:58:04 +0100}, biburl = {https://dblp.org/rec/conf/iwpc/SuzukiSIH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MaezawaNWH14, author = {Yuta Maezawa and Kazuki Nishiura and Hironori Washizaki and Shinichi Honiden}, editor = {Ivica Crnkovic and Marsha Chechik and Paul Gr{\"{u}}nbacher}, title = {Validating ajax applications using a delay-based mutation technique}, booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014}, pages = {491--502}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2642937.2642996}, doi = {10.1145/2642937.2642996}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/MaezawaNWH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/InokiKH14, author = {Mari Inoki and Takayuki Kitagawa and Shinichi Honiden}, editor = {Sixten Schockert and Benedikt Krams and Georg Herzwurm and Wolfram Pietsch}, title = {Application of requirements prioritization decision rules in software product line evolution}, booktitle = {5th {IEEE} International Workshop on Requirements Prioritization and Communication, RePriCo 2014, Karlskrona, Sweden, August 26, 2014}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/RePriCo.2014.6895216}, doi = {10.1109/REPRICO.2014.6895216}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/InokiKH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smartcomp/ShimizuTFH14, author = {Ryo Shimizu and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, title = {Toward a portability framework with multi-level models for wireless sensor network software}, booktitle = {International Conference on Smart Computing, {SMARTCOMP} 2014, Hong Kong, China, November 3-5, 2014}, pages = {253--260}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SMARTCOMP.2014.7043866}, doi = {10.1109/SMARTCOMP.2014.7043866}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/smartcomp/ShimizuTFH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccgrid/AkiyamaHTH13, author = {Soramichi Akiyama and Takahiro Hirofuchi and Ryousei Takano and Shinichi Honiden}, title = {Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation}, booktitle = {13th {IEEE/ACM} International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013}, pages = {78--82}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CCGrid.2013.57}, doi = {10.1109/CCGRID.2013.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccgrid/AkiyamaHTH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cec/XuMH13, author = {Shengbo Xu and Hirotaka Moriguchi and Shinichi Honiden}, title = {Sample efficiency analysis of Neuroevolution algorithms on a quadruped robot}, booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2013, Cancun, Mexico, June 20-23, 2013}, pages = {2170--2177}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/CEC.2013.6557826}, doi = {10.1109/CEC.2013.6557826}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/cec/XuMH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/Honiden13, author = {Shinichi Honiden}, title = {Goal Model Elaboration for Software Evolution}, booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013}, pages = {3}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICECCS.2013.11}, doi = {10.1109/ICECCS.2013.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/Honiden13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icimcs/HoriuchiMHX13, author = {Shingo Horiuchi and Hirotaka Moriguchi and Shinichi Honiden and Shengbo Xu}, editor = {Ke Lu and Tao Mei and Xindong Wu}, title = {Automatic image description by using word-level features}, booktitle = {International Conference on Internet Multimedia Computing and Service, {ICIMCS} '13, Huangshan, China - August 17 - 19, 2013}, pages = {309--314}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2499788.2499823}, doi = {10.1145/2499788.2499823}, timestamp = {Mon, 07 Jan 2019 17:17:42 +0100}, biburl = {https://dblp.org/rec/conf/icimcs/HoriuchiMHX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issnip/BaljakTH13, author = {Valentina Baljak and Kenji Tei and Shinichi Honiden}, title = {Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks}, booktitle = {2013 {IEEE} Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing, Melbourne, Australia, April 2-5, 2013}, pages = {408--413}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ISSNIP.2013.6529825}, doi = {10.1109/ISSNIP.2013.6529825}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/issnip/BaljakTH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/MaezawaWTH13, author = {Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden}, editor = {Ewen Denney and Tevfik Bultan and Andreas Zeller}, title = {Automated verification of pattern-based interaction invariants in Ajax applications}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, pages = {158--168}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ASE.2013.6693076}, doi = {10.1109/ASE.2013.6693076}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/kbse/MaezawaWTH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/NakagawaOH13, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, title = {A goal model elaboration for localizing changes in software evolution}, booktitle = {21st {IEEE} International Requirements Engineering Conference, {RE} 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013}, pages = {155--164}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/RE.2013.6636715}, doi = {10.1109/RE.2013.6636715}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/NakagawaOH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/NishiuraMWH13, author = {Kazuki Nishiura and Yuta Maezawa and Hironori Washizaki and Shinichi Honiden}, title = {Mutation Analysis for JavaScriptWeb Application Testing}, booktitle = {The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013}, pages = {159--165}, publisher = {Knowledge Systems Institute Graduate School}, year = {2013}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/NishiuraMWH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1301-4839, author = {Adrian Klein and Fuyuki Ishikawa and Shinichi Honiden}, title = {A Scalable Distributed Architecture for Network- and QoS-aware Service Composition}, journal = {CoRR}, volume = {abs/1301.4839}, year = {2013}, url = {http://arxiv.org/abs/1301.4839}, eprinttype = {arXiv}, eprint = {1301.4839}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1301-4839.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/shonan-reports/HonidenHMMY13, author = {Shinichi Honiden and Zhenjiang Hu and Hausi A. M{\"{u}}ller and John Mylopoulos and Yijun Yu}, title = {Engineering Adaptive Software Systems (EASSy) {(NII} Shonan Meeting 2013-7)}, journal = {{NII} Shonan Meet. Rep.}, volume = {2013}, year = {2013}, url = {https://shonan.nii.ac.jp/seminars/027/}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/shonan-reports/HonidenHMMY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/evs/KlopperPHD12, author = {Benjamin Kl{\"{o}}pper and Jan Patrick Pater and Shinichi Honiden and Wilhelm Dangelmaier}, title = {A multi-objective evolutionary approach to scheduling for evolving manufacturing systems}, journal = {Evol. Syst.}, volume = {3}, number = {1}, pages = {31--44}, year = {2012}, url = {https://doi.org/10.1007/s12530-011-9040-3}, doi = {10.1007/S12530-011-9040-3}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/evs/KlopperPHD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/AkiyamaHTH12, author = {Soramichi Akiyama and Takahiro Hirofuchi and Ryousei Takano and Shinichi Honiden}, editor = {Rong Chang}, title = {MiyakoDori: {A} Memory Reusing Mechanism for Dynamic {VM} Consolidation}, booktitle = {2012 {IEEE} Fifth International Conference on Cloud Computing, Honolulu, HI, USA, June 24-29, 2012}, pages = {606--613}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/CLOUD.2012.56}, doi = {10.1109/CLOUD.2012.56}, timestamp = {Wed, 09 Aug 2023 12:14:21 +0200}, biburl = {https://dblp.org/rec/conf/IEEEcloud/AkiyamaHTH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/MotallebiIH12, author = {Mohammad{-}Reza Motallebi and Fuyuki Ishikawa and Shinichi Honiden}, title = {Component Trust for Web Service Compositions}, booktitle = {Intelligent Web Services Meet Social Computing, Papers from the 2012 {AAAI} Spring Symposium, Palo Alto, California, USA, March 26-28, 2012}, series = {{AAAI} Technical Report}, volume = {{SS-12-04}}, publisher = {{AAAI}}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/SSS/SSS12/paper/view/4320}, timestamp = {Wed, 25 Sep 2013 15:49:48 +0200}, biburl = {https://dblp.org/rec/conf/aaaiss/MotallebiIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csmr/MaezawaWH12, author = {Yuta Maezawa and Hironori Washizaki and Shinichi Honiden}, editor = {Tom Mens and Anthony Cleve and Rudolf Ferenc}, title = {Extracting Interaction-Based Stateful Behavior in Rich Internet Applications}, booktitle = {16th European Conference on Software Maintenance and Reengineering, {CSMR} 2012, Szeged, Hungary, March 27-30, 2012}, pages = {423--428}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/CSMR.2012.53}, doi = {10.1109/CSMR.2012.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csmr/MaezawaWH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/MoriguchiH12, author = {Hirotaka Moriguchi and Shinichi Honiden}, editor = {Terence Soule and Jason H. Moore}, title = {{CMA-TWEANN:} efficient optimization of neural networks via self-adaptation and seamless augmentation}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} '12, Philadelphia, PA, USA, July 7-11, 2012}, pages = {903--910}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2330163.2330288}, doi = {10.1145/2330163.2330288}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gecco/MoriguchiH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwe/NishiuraMIH12, author = {Kazuki Nishiura and Yuta Maezawa and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Marco Brambilla and Takehiro Tokuda and Robert Tolksdorf}, title = {Supporting View Transition Design of Smartphone Applications Using Web Templates}, booktitle = {Web Engineering - 12th International Conference, {ICWE} 2012, Berlin, Germany, July 23-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7387}, pages = {323--331}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31753-8\_26}, doi = {10.1007/978-3-642-31753-8\_26}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/icwe/NishiuraMIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/WagnerKKIH12, author = {Florian Wagner and Adrian Klein and Benjamin Kl{\"{o}}pper and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Carole A. Goble and Peter P. Chen and Jia Zhang}, title = {Multi-objective Service Composition with Time- and Input-Dependent QoS}, booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012}, pages = {234--241}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICWS.2012.40}, doi = {10.1109/ICWS.2012.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/WagnerKKIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/KleinWIH12, author = {Adrian Klein and Florian Wagner and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Carole A. Goble and Peter P. Chen and Jia Zhang}, title = {A Probabilistic Approach for Long-Term {B2B} Service Compositions}, booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012}, pages = {259--266}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICWS.2012.39}, doi = {10.1109/ICWS.2012.39}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/KleinWIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/WatanabeIFH12, author = {Atsushi Watanabe and Fuyuki Ishikawa and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Carole A. Goble and Peter P. Chen and Jia Zhang}, title = {Web Service Selection Algorithm Using Vickrey Auction}, booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012}, pages = {336--342}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICWS.2012.83}, doi = {10.1109/ICWS.2012.83}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/WatanabeIFH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/MotallebiIH12, author = {Mohammad{-}Reza Motallebi and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Carole A. Goble and Peter P. Chen and Jia Zhang}, title = {Trust Computation in Web Service Compositions Using Bayesian Networks}, booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012}, pages = {623--625}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICWS.2012.100}, doi = {10.1109/ICWS.2012.100}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/MotallebiIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/NakagawaOH12, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops}, booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2012, Lyon, France, September 10-14, 2012}, pages = {59--68}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SASO.2012.17}, doi = {10.1109/SASO.2012.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/NakagawaOH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seal/XuMH12, author = {Shengbo Xu and Hirotaka Moriguchi and Shinichi Honiden}, editor = {Lam Thu Bui and Yew{-}Soon Ong and Nguyen Xuan Hoai and Hisao Ishibuchi and Ponnuthurai Nagaratnam Suganthan}, title = {Efficient Neuroevolution for a Quadruped Robot}, booktitle = {Simulated Evolution and Learning - 9th International Conference, {SEAL} 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7673}, pages = {361--370}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34859-4\_36}, doi = {10.1007/978-3-642-34859-4\_36}, timestamp = {Fri, 17 Nov 2023 08:06:20 +0100}, biburl = {https://dblp.org/rec/conf/seal/XuMH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sesena/ShimizuTFH12, author = {Ryo Shimizu and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Amy L. Murphy and Vittorio Cortellessa}, title = {Case studies on the development of wireless sensor network applications using multiple abstraction levels}, booktitle = {Third International Workshop on Software Engineering for Sensor Network Applications, {SESENA} 2012, 2 June 2012, Zurich, Switzerland, Proceedings}, pages = {22--28}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SESENA.2012.6225730}, doi = {10.1109/SESENA.2012.6225730}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sesena/ShimizuTFH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/KleinIH12, author = {Adrian Klein and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Alain Mille and Fabien Gandon and Jacques Misselis and Michael Rabinovich and Steffen Staab}, title = {Towards network-aware service composition in the cloud}, booktitle = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012, Lyon, France, April 16-20, 2012}, pages = {959--968}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2187836.2187965}, doi = {10.1145/2187836.2187965}, timestamp = {Fri, 16 Apr 2021 10:04:12 +0200}, biburl = {https://dblp.org/rec/conf/www/KleinIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/WagnerKIH12, author = {Florian Wagner and Benjamin Kl{\"{o}}pper and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Alain Mille and Fabien Gandon and Jacques Misselis and Michael Rabinovich and Steffen Staab}, title = {Towards robust service compositions in the context of functionally diverse services}, booktitle = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012, Lyon, France, April 16-20, 2012}, pages = {969--978}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2187836.2187966}, doi = {10.1145/2187836.2187966}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/WagnerKIH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/procedia/BaljakBFHHNOSTT12, author = {Valentina Baljak and Marius Tudor Benea and Amal El Fallah Seghrouchni and C{\'{e}}dric Herpson and Shinichi Honiden and Nga Thi Thuy Nguyen and Andrei Olaru and Ryo Shimizu and Kenji Tei and Susumu Toriumi}, editor = {Elhadi M. Shakshuki and Muhammad Younas}, title = {{S-CLAIM:} An Agent-based Programming Language for AmI, {A} Smart-Room Case Study}, booktitle = {Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies {(ANT} 2012), the 9th International Conference on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario, Canada, August 27-29, 2012}, series = {Procedia Computer Science}, volume = {10}, pages = {30--37}, publisher = {Elsevier}, year = {2012}, url = {https://doi.org/10.1016/j.procs.2012.06.008}, doi = {10.1016/J.PROCS.2012.06.008}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/procedia/BaljakBFHHNOSTT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1210-7036, author = {Tsutomu Kobayashi and Shinichi Honiden}, title = {Towards Refinement Strategy Planning for Event-B}, journal = {CoRR}, volume = {abs/1210.7036}, year = {2012}, url = {http://arxiv.org/abs/1210.7036}, eprinttype = {arXiv}, eprint = {1210.7036}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-7036.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/shonan-reports/BandaraHY12, author = {Arosha K. Bandara and Shinichi Honiden and Yijun Yu}, title = {Engineering Autonomic Systems (EASy) {(NII} Shonan Meeting 2012-3)}, journal = {{NII} Shonan Meet. Rep.}, volume = {2012}, year = {2012}, url = {https://shonan.nii.ac.jp/seminars/004/}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/shonan-reports/BandaraHY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/SuenagaYH11, author = {Shunichiro Suenaga and Nobukazu Yoshioka and Shinichi Honiden}, title = {Group Migration by Mobile Agents in Wireless Sensor Networks}, journal = {Comput. J.}, volume = {54}, number = {3}, pages = {345--355}, year = {2011}, url = {https://doi.org/10.1093/comjnl/bxp104}, doi = {10.1093/COMJNL/BXP104}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/SuenagaYH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/IshikawaKWFH11, author = {Fuyuki Ishikawa and Satoshi Katafuchi and Florian Wagner and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Hans{-}Arno Jacobsen and Yan Wang and Patrick Hung}, title = {Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures}, booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2011, Washington, DC, USA, 4-9 July, 2011}, pages = {152--159}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SCC.2011.30}, doi = {10.1109/SCC.2011.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/IshikawaKWFH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cbse/InoueH11, author = {Taku Inoue and Shinichi Honiden}, editor = {Ivica Crnkovic and Judith A. Stafford and Antonia Bertolino and Kendra M. L. Cooper}, title = {A method for data-flow analysis of business components}, booktitle = {Proceedings of the 14th International {ACM} Sigsoft Symposium on Component Based Software Engineering, {CBSE} 2011, part of Comparch '11 Federated Events on Component-Based Software Engineering and Software Architecture, Boulder, CO, USA, June 20-24, 2011}, pages = {51--60}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2000229.2000237}, doi = {10.1145/2000229.2000237}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cbse/InoueH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cica/KlopperHD11, author = {Benjamin Kl{\"{o}}pper and Shinichi Honiden and Wilhelm Dangelmaier}, title = {Divide {\&} conquer in planning for self-optimizing mechatronic systems - {A} first application example}, booktitle = {{IEEE} Symposium on Computational Intelligence in Control and Automation, {CICA} 2011, Paris, France, April 11-15, 2011}, pages = {108--115}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/CICA.2011.5945749}, doi = {10.1109/CICA.2011.5945749}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/cica/KlopperHD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cica/KlopperHPD11, author = {Benjamin Kl{\"{o}}pper and Shinichi Honiden and Jan Patrick Pater and Wilhelm Dangelmaier}, title = {Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface}, booktitle = {{IEEE} Symposium on Computational Intelligence in Control and Automation, {CICA} 2011, Paris, France, April 11-15, 2011}, pages = {123--130}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/CICA.2011.5945758}, doi = {10.1109/CICA.2011.5945758}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cica/KlopperHPD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/ToriumiH11, author = {Susumu Toriumi and Shinichi Honiden}, title = {Assignment of Sensors for Multiple Tasks Using Path Information}, booktitle = {{IEEE/IFIP} 9th International Conference on Embedded and Ubiquitous Computing, {EUC} 2011, Melbourne, Australia, October 24-26, 2011}, pages = {120--127}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/EUC.2011.19}, doi = {10.1109/EUC.2011.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euc/ToriumiH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/AbdullahMCH11, author = {Nik Nailah Binti Abdullah and Samuel Mendes and Stefano A. Cerri and Shinichi Honiden}, editor = {R. Charles Murray and Philip M. McCarthy}, title = {Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs}, booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, May 18-20, 2011, Palm Beach, Florida, {USA}}, publisher = {{AAAI} Press}, year = {2011}, url = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2570}, timestamp = {Wed, 26 Oct 2022 08:35:19 +0200}, biburl = {https://dblp.org/rec/conf/flairs/AbdullahMCH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/AbdullahSH11, author = {Nik Nailah Binti Abdullah and Helen Sharp and Shinichi Honiden}, editor = {R. Charles Murray and Philip M. McCarthy}, title = {How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team}, booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, May 18-20, 2011, Palm Beach, Florida, {USA}}, publisher = {{AAAI} Press}, year = {2011}, url = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2537}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flairs/AbdullahSH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icais/FitzgeraldKH11, author = {Camilo Fitzgerald and Benjamin Kl{\"{o}}pper and Shinichi Honiden}, editor = {Abdelhamid Bouchachia}, title = {Utility-Based Self-Adaption with Environment Specific Quality Models}, booktitle = {Adaptive and Intelligent Systems - Second International Conference, {ICAIS} 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6943}, pages = {107--118}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23857-4\_14}, doi = {10.1007/978-3-642-23857-4\_14}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/icais/FitzgeraldKH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ShimizuTFH11, author = {Ryo Shimizu and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Kurt Geihs and Kay R{\"{o}}mer and Luca Mottola and Gian Pietro Picco}, title = {Model driven development for rapid prototyping and optimization of wireless sensor network applications}, booktitle = {Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, {SESENA} 2011, Waikiki, Honolulu, HI, USA, May 22, 2011}, pages = {31--36}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1988051.1988058}, doi = {10.1145/1988051.1988058}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/ShimizuTFH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NakagawaOH11, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, editor = {Holger Giese and Betty H. C. Cheng}, title = {gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description}, booktitle = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011}, pages = {40--49}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1988008.1988015}, doi = {10.1145/1988008.1988015}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/NakagawaOH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/WagnerIH11, author = {Florian Wagner and Fuyuki Ishikawa and Shinichi Honiden}, editor = {George Pallis and Mohamed Jmaiel and Anis Charfi and Sven Graupner and Y{\"{u}}cel Karabulut and Sam Guinea and Florian Rosenberg and Quan Z. Sheng and Cesare Pautasso and Sonia Ben Mokhtar}, title = {Applying QoS-Aware Service Selection on Functionally Diverse Services}, booktitle = {Service-Oriented Computing - {ICSOC} 2011 Workshops - {ICSOC} 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7221}, pages = {100--113}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-31875-7\_12}, doi = {10.1007/978-3-642-31875-7\_12}, timestamp = {Tue, 27 Oct 2020 14:17:24 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/WagnerIH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/WagnerIH11, author = {Florian Wagner and Fuyuki Ishikawa and Shinichi Honiden}, title = {QoS-Aware Automatic Service Composition by Applying Functional Clustering}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {89--96}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICWS.2011.32}, doi = {10.1109/ICWS.2011.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/WagnerIH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/HiratsukaIH11, author = {Nobuaki Hiratsuka and Fuyuki Ishikawa and Shinichi Honiden}, title = {Service Selection with Combinational Use of Functionally-Equivalent Services}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {97--104}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICWS.2011.33}, doi = {10.1109/ICWS.2011.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/HiratsukaIH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/KleinIH11, author = {Adrian Klein and Fuyuki Ishikawa and Shinichi Honiden}, title = {Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {436--443}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICWS.2011.60}, doi = {10.1109/ICWS.2011.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/KleinIH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/NakagawaYOH11, author = {Hiroyuki Nakagawa and Nobukazu Yoshioka and Akihiko Ohsuga and Shinichi Honiden}, editor = {William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih{-}Cheng Hung}, title = {{IMPULSE:} a design framework for multi-agent systems based on model transformation}, booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011}, pages = {1411--1418}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1982185.1982491}, doi = {10.1145/1982185.1982491}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/NakagawaYOH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/BourdenasTHS11, author = {Themistoklis Bourdenas and Kenji Tei and Shinichi Honiden and Morris Sloman}, title = {Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks}, booktitle = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011}, pages = {61--70}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SASO.2011.17}, doi = {10.1109/SASO.2011.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/BourdenasTHS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-1531, author = {Johan Nystr{\"{o}}m{-}Persson and Shinichi Honiden}, title = {Poplar: {A} Java Extension for Evolvable Component Integration}, journal = {CoRR}, volume = {abs/1106.1531}, year = {2011}, url = {http://arxiv.org/abs/1106.1531}, eprinttype = {arXiv}, eprint = {1106.1531}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-1531.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcos/HonidenHSW10, author = {Shinichi Honiden and Michael E. Houle and Christian Sommer and Martin Wolff}, title = {Approximate Shortest Path Queries Using Voronoi Duals}, journal = {Trans. Comput. Sci.}, volume = {9}, pages = {28--53}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16007-3\_2}, doi = {10.1007/978-3-642-16007-3\_2}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcos/HonidenHSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcoss/AbeH10, author = {Rey Abe and Shinichi Honiden}, editor = {Rajmohan Rajaraman and Thomas Moscibroda and Adam Dunkels and Anna Scaglione}, title = {Suppressing Redundancy in Wireless Sensor Network Traffic}, booktitle = {Distributed Computing in Sensor Systems, 6th {IEEE} International Conference, {DCOSS} 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6131}, pages = {187--200}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13651-1\_14}, doi = {10.1007/978-3-642-13651-1\_14}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/dcoss/AbeH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BabaIH10, author = {Yukino Baba and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge}, title = {Extraction of Places Related to Flickr Tags}, booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, pages = {523--528}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-606-5-523}, doi = {10.3233/978-1-60750-606-5-523}, timestamp = {Fri, 26 Apr 2019 14:26:43 +0200}, biburl = {https://dblp.org/rec/conf/ecai/BabaIH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/AbdullahSH10, author = {Nik Nailah Binti Abdullah and Helen C. Sharp and Shinichi Honiden}, editor = {Hans W. Guesgen and R. Charles Murray}, title = {A Method of Analysis to Uncover Artefact-Communication Relationships}, booktitle = {Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida, {USA}}, publisher = {{AAAI} Press}, year = {2010}, url = {http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1259}, timestamp = {Wed, 26 Oct 2022 08:35:20 +0200}, biburl = {https://dblp.org/rec/conf/flairs/AbdullahSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/MoriguchiH10, author = {Hirotaka Moriguchi and Shinichi Honiden}, editor = {Martin Pelikan and J{\"{u}}rgen Branke}, title = {Sustaining behavioral diversity in {NEAT}}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010}, pages = {611--618}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1830483.1830595}, doi = {10.1145/1830483.1830595}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gecco/MoriguchiH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icas/SharrockCGMH10, author = {R{\'{e}}mi Sharrock and Amin Cherbal and Levent G{\"{u}}rgen and Thierry Monteil and Shinichi Honiden}, title = {Thinking Autonomic for Sensing Devices}, booktitle = {Sixth International Conference on Autonomic and Autonomous Systems, {ICAS} 2010, Cancun, Mexico, March 7-13, 2010}, pages = {20--23}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICAS.2010.11}, doi = {10.1109/ICAS.2010.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icas/SharrockCGMH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/KleinIH10, author = {Adrian Klein and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Paul P. Maglio and Mathias Weske and Jian Yang and Marcelo Fantinato}, title = {Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy}, booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC} 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6470}, pages = {182--196}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17358-5\_13}, doi = {10.1007/978-3-642-17358-5\_13}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/icsoc/KleinIH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsoc/KlopperIH10, author = {Benjamin Kl{\"{o}}pper and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Paul P. Maglio and Mathias Weske and Jian Yang and Marcelo Fantinato}, title = {Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes}, booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC} 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6470}, pages = {635--640}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17358-5\_49}, doi = {10.1007/978-3-642-17358-5\_49}, timestamp = {Wed, 13 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsoc/KlopperIH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mswim/AbeH10, author = {Rey Abe and Shinichi Honiden}, editor = {Violet R. Syrotiuk and Fatih Alag{\"{o}}z and Brahim Bensaou and {\"{O}}zg{\"{u}}r B. Akan}, title = {Adaptive geographic routing in wireless sensor networks}, booktitle = {Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010}, pages = {91--100}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1868521.1868538}, doi = {10.1145/1868521.1868538}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mswim/AbeH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paams/NakagawaOH10, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, editor = {Yves Demazeau and Frank Dignum and Juan M. Corchado and Javier Bajo}, title = {Cooperative Behaviors Description for Self-* Systems Implementation}, booktitle = {Advances in Practical Applications of Agents and Multiagent Systems, 8th International Conference on Practical Applications of Agents and Multiagent Systems, {PAAMS} 2010, Salamanca, Spain, 26-28 April 2010}, series = {Advances in Intelligent and Soft Computing}, volume = {70}, pages = {69--74}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12384-9\_9}, doi = {10.1007/978-3-642-12384-9\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/paams/NakagawaOH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/NakagawaYOH10, author = {Hiroyuki Nakagawa and Nobukazu Yoshioka and Akihiko Ohsuga and Shinichi Honiden}, editor = {Nirmit Desai and Alan Liu and Michael Winikoff}, title = {A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance}, booktitle = {Principles and Practice of Multi-Agent Systems - 13th International Conference, {PRIMA} 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7057}, pages = {443--458}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-25920-3\_32}, doi = {10.1007/978-3-642-25920-3\_32}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/NakagawaYOH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/KlopperHMT10, author = {Benjamin Kl{\"{o}}pper and Shinichi Honiden and Jan Meyer and Matthias Tichy}, title = {Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems}, booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2010, Budapest, Hungary, 27 September - 1 October 2010}, pages = {74--83}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SASO.2010.16}, doi = {10.1109/SASO.2010.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/KlopperHMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/services/WangIH10, author = {Yongbo Wang and Fuyuki Ishikawa and Shinichi Honiden}, title = {Business Semantics Centric Reliability Testing for Web Services in {BPEL}}, booktitle = {6th World Congress on Services, {SERVICES} 2010, Miami, Florida, USA, July 5-10, 2010}, pages = {237--244}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SERVICES.2010.88}, doi = {10.1109/SERVICES.2010.88}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/services/WangIH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/xpu/AbdullahSH10, author = {Nik Nailah Binti Abdullah and Helen Sharp and Shinichi Honiden}, editor = {Alberto Sillitti and Angela Martin and Xiaofeng Wang and Elizabeth Whitworth}, title = {Communication in Context: {A} Stimulus-Response Account of Agile Team Interactions}, booktitle = {Agile Processes in Software Engineering and Extreme Programming, 11th International Conference, {XP} 2010, Trondheim, Norway, June 1-4, 2010. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {48}, pages = {166--171}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13054-0\_13}, doi = {10.1007/978-3-642-13054-0\_13}, timestamp = {Tue, 20 Feb 2018 11:22:27 +0100}, biburl = {https://dblp.org/rec/conf/xpu/AbdullahSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sci/GurgenRLH10, author = {Levent G{\"{u}}rgen and Claudia Roncancio and Cyril Labb{\'{e}} and Shinichi Honiden}, editor = {Takahiro Hara and Vladimir Zadorozhny and Erik Buchmann}, title = {Data Management Solutions in Networked Sensing Systems}, booktitle = {Wireless Sensor Network Technologies for the Information Explosion Era}, series = {Studies in Computational Intelligence}, volume = {278}, pages = {111--137}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13965-9\_4}, doi = {10.1007/978-3-642-13965-9\_4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/sci/GurgenRLH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/IshikawaH09, author = {Fuyuki Ishikawa and Shinichi Honiden}, title = {On Applicability of Formal Methods and Tools to Dependable Services}, journal = {{IEICE} Trans. Commun.}, volume = {92-B}, number = {1}, pages = {9--16}, year = {2009}, url = {https://doi.org/10.1587/transcom.E92.B.9}, doi = {10.1587/TRANSCOM.E92.B.9}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/IshikawaH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigcse/TaharaYTAH09, author = {Yasuyuki Tahara and Nobukazu Yoshioka and Kenji Taguchi and Toshiaki Aoki and Shinichi Honiden}, title = {Evolution of a course on model checking for practical applications}, journal = {{ACM} {SIGCSE} Bull.}, volume = {41}, number = {2}, pages = {38--44}, year = {2009}, url = {https://doi.org/10.1145/1595453.1595460}, doi = {10.1145/1595453.1595460}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigcse/TaharaYTAH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dmsn/GurgenNCLRH09, author = {Levent G{\"{u}}rgen and Johan Nystr{\"{o}}m{-}Persson and Amin Cherbal and Cyril Labb{\'{e}} and Claudia Roncancio and Shinichi Honiden}, editor = {Mario A. Nascimento and Nesime Tatbul}, title = {Plug{\&}manage heterogeneous sensing devices}, booktitle = {Proceedings of the 6th Workshop on Data Management for Sensor Networks, in conjunction with VLDB, {DMSN} 2009, Lyon, France, August 24, 2009}, series = {{ACM} International Conference Proceeding Series}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1594187.1594192}, doi = {10.1145/1594187.1594192}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dmsn/GurgenNCLRH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icps/IshikawaSYH09, author = {Fuyuki Ishikawa and Basem Suleiman and Kayoko Yamamoto and Shinichi Honiden}, editor = {Julie A. McCann and Mario Lauria and Domenico Cotroneo and Mark A. Baker}, title = {Physical interaction in pervasive computing: formal modeling, analysis and verification}, booktitle = {Proceedings of the 2009 international conference on Pervasive services, {ICPS} '09, London, United Kingdom, July 13-17, 2009}, pages = {133--140}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1568199.1568219}, doi = {10.1145/1568199.1568219}, timestamp = {Tue, 06 Nov 2018 11:07:49 +0100}, biburl = {https://dblp.org/rec/conf/icps/IshikawaSYH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icuimc/SeiH09, author = {Yuichi Sei and Shinichi Honiden}, editor = {Won Kim and Hyung{-}Jin Choi and Dongho Won}, title = {Reporter node determination of replicated node detection in wireless sensor networks}, booktitle = {Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, {ICUIMC} 2009, Suwon, Korea, January 15-16, 2009}, pages = {566--573}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1516241.1516340}, doi = {10.1145/1516241.1516340}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icuimc/SeiH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/FukuchiSSH09, author = {Daisuke Fukuchi and Christian Sommer and Yuichi Sei and Shinichi Honiden}, title = {Distributed Arrays: {A} {P2P} Data Structure for Efficient Logical Arrays}, booktitle = {{INFOCOM} 2009. 28th {IEEE} International Conference on Computer Communications, Joint Conference of the {IEEE} Computer and Communications Societies, 19-25 April 2009, Rio de Janeiro, Brazil}, pages = {1458--1466}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/INFCOM.2009.5062062}, doi = {10.1109/INFCOM.2009.5062062}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infocom/FukuchiSSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isvd/HonidenHSW09, author = {Shinichi Honiden and Michael E. Houle and Christian Sommer and Martin Wolff}, editor = {Francois Anton}, title = {Approximate Shortest Path Queries in Graphs Using Voronoi Duals}, booktitle = {Sixth International Symposium on Voronoi Diagrams, {ISVD} 2009, Copenhagen, Denmark, June 23-26, 2009}, pages = {53--62}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ISVD.2009.30}, doi = {10.1109/ISVD.2009.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isvd/HonidenHSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isvd/HonidenHS09, author = {Shinichi Honiden and Michael E. Houle and Christian Sommer}, editor = {Francois Anton}, title = {Balancing Graph Voronoi Diagrams}, booktitle = {Sixth International Symposium on Voronoi Diagrams, {ISVD} 2009, Copenhagen, Denmark, June 23-26, 2009}, pages = {183--191}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ISVD.2009.26}, doi = {10.1109/ISVD.2009.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isvd/HonidenHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mdm/GurgenH09, author = {Levent G{\"{u}}rgen and Shinichi Honiden}, editor = {Yu{-}Chee Tseng and Peter Scheuermann and Ralf Hartmut G{\"{u}}ting and Wang{-}Chien Lee and Chung{-}Ta King and Evaggelia Pitoura}, title = {Management of Networked Sensing Devices}, booktitle = {{MDM} 2009, Tenth International Conference on Mobile Data Management, Taipei, Taiwan, 18-20 May 2009}, pages = {502--507}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/MDM.2009.88}, doi = {10.1109/MDM.2009.88}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mdm/GurgenH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/IshikawaIH09, author = {Fuyuki Ishikawa and Rihoko Inoue and Shinichi Honiden}, title = {Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering}, booktitle = {Second International Workshop on Requirements Engineering and Law, {RELAW} 2009, Atlanta, Georgia, USA, September 1, 2009}, pages = {39--44}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/RELAW.2009.8}, doi = {10.1109/RELAW.2009.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/IshikawaIH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/RajgurePBH09, author = {Neeraj Rajgure and Eric Platon and Cristian Borcea and Shinichi Honiden}, editor = {Sung Y. Shin and Sascha Ossowski}, title = {Geographical data collection in sensor networks with self-organizing transaction cluster-heads}, booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009}, pages = {1214--1218}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1529282.1529553}, doi = {10.1145/1529282.1529553}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/RajgurePBH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/KawamataSIH09, author = {Yojiro Kawamata and Christian Sommer and Fuyuki Ishikawa and Shinichi Honiden}, editor = {Dang Van Hung and Padmanabhan Krishnan}, title = {Specifying and Checking Refinement Relationships in {VDM++}}, booktitle = {Seventh {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009}, pages = {220--227}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SEFM.2009.34}, doi = {10.1109/SEFM.2009.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/KawamataSIH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tfm/IshikawaTYH09, author = {Fuyuki Ishikawa and Kenji Taguchi and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Jeremy Gibbons and Jos{\'{e}} Nuno Oliveira}, title = {What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top {SE} Project}, booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5846}, pages = {57--71}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04912-5\_5}, doi = {10.1007/978-3-642-04912-5\_5}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tfm/IshikawaTYH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ubimob/GurgenLH09, author = {Levent G{\"{u}}rgen and Cyril Labb{\'{e}} and Shinichi Honiden}, editor = {David Menga and Florence S{\`{e}}des}, title = {Op{\'{e}}rations d'administration pour SStreaMWare}, booktitle = {Actes des 5{\`{e}}mes journ{\'{e}}es francophones Mobilit{\'{e}} et Ubiquit{\'{e}} 2009, UBIMOB'09, 7-8 Juillet 2009, Lille, France}, series = {{ACM} International Conference Proceeding Series}, volume = {394}, pages = {41--44}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1739268.1739277}, doi = {10.1145/1739268.1739277}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ubimob/GurgenLH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijaose/PlatonSH08, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, title = {An architecture for exception management in multiagent systems}, journal = {Int. J. Agent Oriented Softw. Eng.}, volume = {2}, number = {3}, pages = {267--289}, year = {2008}, url = {https://doi.org/10.1504/IJAOSE.2008.019420}, doi = {10.1504/IJAOSE.2008.019420}, timestamp = {Sun, 10 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijaose/PlatonSH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/OgawaKH08, author = {Hideto Ogawa and Fumihiro Kumeno and Shinichi Honiden}, title = {Model Checking Process with Goal Oriented Requirements Analysis}, booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008), 3-5 December 2008, Beijing, China}, pages = {377--384}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/APSEC.2008.71}, doi = {10.1109/APSEC.2008.71}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/OgawaKH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/TakahashiTIHF08, author = {Ryuichi Takahashi and Kenji Tei and Fuyuki Ishikawa and Shinichi Honiden and Yoshiaki Fukazawa}, title = {Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems}, booktitle = {12th International {IEEE} Enterprise Distributed Object Computing Conference, {ECOC} 2008, 15-19 September 2008, Munich, Germany}, pages = {372--378}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/EDOC.2008.35}, doi = {10.1109/EDOC.2008.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/TakahashiTIHF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobilware/SuenagaH08, author = {Shunichiro Suenaga and Shinichi Honiden}, editor = {Jiang (Linda) Xie and Tuna Tugcu}, title = {Name-based location service for mobile agents in wireless sensor networks}, booktitle = {Proceedings of the 1st International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, {MOBILWARE} 2008, Innsbruck, Austria, February 13 - 15, 2008}, series = {{ACM} International Conference Proceeding Series}, volume = {278}, pages = {3}, year = {2008}, url = {https://doi.org/10.4108/ICST.MOBILWARE2008.2802}, doi = {10.4108/ICST.MOBILWARE2008.2802}, timestamp = {Wed, 28 Nov 2018 12:57:16 +0100}, biburl = {https://dblp.org/rec/conf/mobilware/SuenagaH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/TakahashiTIFH08, author = {Ryuichi Takahashi and Kenji Tei and Fuyuki Ishikawa and Yoshiaki Fukazawa and Shinichi Honiden}, title = {A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems}, booktitle = {Sixth Annual {IEEE} International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong}, pages = {609--614}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/PERCOM.2008.94}, doi = {10.1109/PERCOM.2008.94}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/percom/TakahashiTIFH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/NakagawaOH08, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Constructing Self-Adaptive Systems Using a {KAOS} Model}, booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008, Venice, Italy}, pages = {132--137}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SASOW.2008.35}, doi = {10.1109/SASOW.2008.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/NakagawaOH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sutc/NakamuraTFH08, author = {Yoshiyuki Nakamura and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Mukesh Singhal and Giovanna Di Marzo Serugendo and Jeffrey J. P. Tsai and Wang{-}Chien Lee and Kay R{\"{o}}mer and Yu{-}Chee Tseng and Han C. W. Hsiao}, title = {Region-Based Sensor Selection for Wireless Sensor Networks}, booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan}, pages = {326--331}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SUTC.2008.47}, doi = {10.1109/SUTC.2008.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sutc/NakamuraTFH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wd/ToriumiSH08, author = {Susumu Toriumi and Yuichi Sei and Shinichi Honiden}, title = {Energy-efficient event detection in 3D wireless sensor networks}, booktitle = {1st {IFIP} Wireless Days, {WD} 2008, Dubai, UAE, November 24-27, 2008}, pages = {1--5}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/WD.2008.4812898}, doi = {10.1109/WD.2008.4812898}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wd/ToriumiSH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wicon/TeiFH08, author = {Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Xudong Wang and Ness B. Shroff}, title = {An efficient node selection metric for in-network process deployment}, booktitle = {Proceedings of the 4th Annual International Conference on Wireless Internet, {WICON} 2008, Maui, Hawaii, USA, November 17-19, 2008}, series = {{ACM} International Conference Proceeding Series}, pages = {4}, publisher = {{ICST}}, year = {2008}, url = {https://doi.org/10.4108/ICST.WICON2008.4851}, doi = {10.4108/ICST.WICON2008.4851}, timestamp = {Fri, 30 Nov 2018 12:48:46 +0100}, biburl = {https://dblp.org/rec/conf/wicon/TeiFH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wicon/SeiH08, author = {Yuichi Sei and Shinichi Honiden}, editor = {Xudong Wang and Ness B. Shroff}, title = {Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks}, booktitle = {Proceedings of the 4th Annual International Conference on Wireless Internet, {WICON} 2008, Maui, Hawaii, USA, November 17-19, 2008}, series = {{ACM} International Conference Proceeding Series}, pages = {28}, publisher = {{ICST}}, year = {2008}, url = {https://doi.org/10.4108/ICST.WICON2008.4796}, doi = {10.4108/ICST.WICON2008.4796}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wicon/SeiH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/PlatonMSHP07, author = {Eric Platon and Marco Mamei and Nicolas Sabouret and Shinichi Honiden and H. Van Dyke Parunak}, title = {Mechanisms for environments in multi-agent systems: Survey and opportunities}, journal = {Auton. Agents Multi Agent Syst.}, volume = {14}, number = {1}, pages = {31--47}, year = {2007}, url = {https://doi.org/10.1007/s10458-006-9000-7}, doi = {10.1007/S10458-006-9000-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/PlatonMSHP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/TruongIH07, author = {KhanhQuan Truong and Fuyuki Ishikawa and Shinichi Honiden}, title = {Improving Accuracy of Recommender System by Item Clustering}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {90-D}, number = {9}, pages = {1363--1373}, year = {2007}, url = {https://doi.org/10.1093/ietisy/e90-d.9.1363}, doi = {10.1093/IETISY/E90-D.9.1363}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/TruongIH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijaose/DoiH07, author = {Takuo Doi and Shinichi Honiden}, title = {{IOM/T:} interaction-oriented model by textual notation}, journal = {Int. J. Agent Oriented Softw. Eng.}, volume = {1}, number = {3/4}, pages = {266--294}, year = {2007}, url = {https://doi.org/10.1504/IJAOSE.2007.016263}, doi = {10.1504/IJAOSE.2007.016263}, timestamp = {Sun, 10 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijaose/DoiH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/IshikawaYTH07, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, title = {A hierarchical mobile agent framework and its application to multimedia contents}, journal = {Syst. Comput. Jpn.}, volume = {38}, number = {1}, pages = {1--17}, year = {2007}, url = {https://doi.org/10.1002/scj.20624}, doi = {10.1002/SCJ.20624}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/IshikawaYTH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ap2pc/SeiMH07, author = {Yuichi Sei and Kazutaka Matsuzaki and Shinichi Honiden}, editor = {Samuel R. H. Joseph and Zoran Despotovic and Gianluca Moro and Sonia Bergamaschi}, title = {Flexible Bloom Filters for Searching Textual Objects}, booktitle = {Agents and Peer-to-Peer Computing, 6th International Workshop, {AP2PC} 2007, Honolulu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5319}, pages = {110--121}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-11368-0\_9}, doi = {10.1007/978-3-642-11368-0\_9}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ap2pc/SeiMH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apscc/IshikawaYH07, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Jie Li and Minyi Guo and Qun Jin and Yongbing Zhang and Liang{-}Jie Zhang and Hai Jin and Masahiro Mambo and Jiro Tanaka and Hiromu Hayashi}, title = {Developing Consistent Contractual Policies in Service Composition}, booktitle = {Proceedings of The 2nd {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2007, December 11-14, 2007, Tsukuba Science City, Japan}, pages = {527--534}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/APSCC.2007.66}, doi = {10.1109/APSCC.2007.66}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apscc/IshikawaYH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/GuyotH07, author = {Paul Guyot and Shinichi Honiden}, editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory}, title = {Building coalitions involving agents and humans: reports from agent-based participatory simulations}, booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007}, pages = {210}, publisher = {{IFAAMAS}}, year = {2007}, url = {https://doi.org/10.1145/1329125.1329379}, doi = {10.1145/1329125.1329379}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/GuyotH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ArthoCH07, author = {Cyrille Artho and Zhongwei Chen and Shinichi Honiden}, title = {AOP-based automated unit test classification of large benchmarks}, booktitle = {31st Annual International Computer Software and Applications Conference, {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2}, pages = {17--22}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/COMPSAC.2007.75}, doi = {10.1109/COMPSAC.2007.75}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ArthoCH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ArthoHH07, author = {Cyrille Artho and Klaus Havelund and Shinichi Honiden}, title = {Visualization of Concurrent Program Executions}, booktitle = {31st Annual International Computer Software and Applications Conference, {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2}, pages = {541--546}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/COMPSAC.2007.236}, doi = {10.1109/COMPSAC.2007.236}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ArthoHH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/context/AbdullahH07, author = {Nik Nailah Binti Abdullah and Shinichi Honiden}, editor = {Boicho N. Kokinov and Daniel C. Richardson and Thomas Roth{-}Berghofer and Laure Vieu}, title = {Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness}, booktitle = {Modeling and Using Context, 6th International and Interdisciplinary Conference, {CONTEXT} 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4635}, pages = {94--107}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74255-5\_8}, doi = {10.1007/978-3-540-74255-5\_8}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/context/AbdullahH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocast/ArthoZBSH07, author = {Cyrille Artho and Boris Zweim{\"{u}}ller and Armin Biere and Etsuya Shibayama and Shinichi Honiden}, editor = {Roberto Moreno{-}D{\'{\i}}az and Franz Pichler and Alexis Quesada{-}Arencibia}, title = {Efficient Model Checking of Applications with Input/Output}, booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4739}, pages = {515--522}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75867-9\_65}, doi = {10.1007/978-3-540-75867-9\_65}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/eurocast/ArthoZBSH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/holomas/PlatonRSPH07, author = {Eric Platon and Martin Reh{\'{a}}k and Nicolas Sabouret and Michal Pechoucek and Shinichi Honiden}, editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and Valeriy Vyatkin and Armando W. Colombo}, title = {Detecting Intrusions in Agent System by Means of Exception Handling}, booktitle = {Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4659}, pages = {161--172}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74481-8\_16}, doi = {10.1007/978-3-540-74481-8\_16}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/holomas/PlatonRSPH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icccn/SeiH07, author = {Yuichi Sei and Shinichi Honiden}, title = {Ringed Filters for Peer-to-Peer Keyword Searching}, booktitle = {Proceedings of the 16th International Conference on Computer Communications and Networks, {IEEE} {ICCCN} 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007}, pages = {772--779}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ICCCN.2007.4317911}, doi = {10.1109/ICCCN.2007.4317911}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icccn/SeiH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icccn/TeiFH07, author = {Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, title = {Applying Design Patterns to Wireless Sensor Network Programming}, booktitle = {Proceedings of the 16th International Conference on Computer Communications and Networks, {IEEE} {ICCCN} 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007}, pages = {1099--1104}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ICCCN.2007.4317965}, doi = {10.1109/ICCCN.2007.4317965}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icccn/TeiFH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HonidenTYTW07, author = {Shinichi Honiden and Yasuyuki Tahara and Nobukazu Yoshioka and Kenji Taguchi and Hironori Washizaki}, title = {Top {SE:} Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan}, booktitle = {29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007}, pages = {708--718}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICSE.2007.89}, doi = {10.1109/ICSE.2007.89}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HonidenTYTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/QuenumIH07, author = {Jos{\'{e}} Ghislain Quenum and Fuyuki Ishikawa and Shinichi Honiden}, title = {Protocol Selection alongside Service Selection and Composition}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {719--726}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.146}, doi = {10.1109/ICWS.2007.146}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/QuenumIH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/IshikawaYH07, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, title = {Policy-based Runtime Partner Management in ProcessBased Services}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {1191--1194}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.141}, doi = {10.1109/ICWS.2007.141}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/IshikawaYH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/NakagawaTH07, author = {Hiroyuki Nakagawa and Kenji Taguchi and Shinichi Honiden}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Formal specification generator for {KAOS:} model transformation approach to generate formal specifications from {KAOS} requirements models}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {531--532}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321729}, doi = {10.1145/1321631.1321729}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/NakagawaTH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/SeiH07, author = {Yuichi Sei and Shinichi Honiden}, editor = {Robert Meersman and Zahir Tari}, title = {Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks}, booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, {OTM} Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {4803}, pages = {454--470}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76848-7\_33}, doi = {10.1007/978-3-540-76848-7\_33}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/otm/SeiH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/IshikawaYH07, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Robert Meersman and Zahir Tari}, title = {Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation}, booktitle = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, {OTM} Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {4803}, pages = {683--700}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76848-7\_46}, doi = {10.1007/978-3-540-76848-7\_46}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/otm/IshikawaYH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/FukuchiSH07, author = {Daisuke Fukuchi and Yuichi Sei and Shinichi Honiden}, editor = {Robert Meersman and Zahir Tari and Pilar Herrero}, title = {Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments}, booktitle = {On the Move to Meaningful Internet Systems 2007: {OTM} 2007 Workshops, {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS, {OTM} Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and {SWWS} 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {4806}, pages = {1001--1010}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76890-6\_26}, doi = {10.1007/978-3-540-76890-6\_26}, timestamp = {Thu, 14 Oct 2021 10:28:28 +0200}, biburl = {https://dblp.org/rec/conf/otm/FukuchiSH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/MatsuzakiH07, author = {Kazutaka Matsuzaki and Shinichi Honiden}, title = {Increasing the Ease of Deployment in Ubiquitous Environments}, booktitle = {Fifth Annual {IEEE} International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2007), 19-23 March 2007, White Plains, New York, {USA}}, pages = {581--584}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/PERCOMW.2007.57}, doi = {10.1109/PERCOMW.2007.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/percom/MatsuzakiH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ArthoSH07, author = {Cyrille Artho and Christian Sommer and Shinichi Honiden}, title = {Model Checking Networked Programs in the Presence of Transmission Failures}, booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China}, pages = {219--228}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/TASE.2007.33}, doi = {10.1109/TASE.2007.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ArthoSH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijbpim/IshikawaTYH06, author = {Fuyuki Ishikawa and Yasuyuki Tahara and Nobukazu Yoshioka and Shinichi Honiden}, title = {Formal model of mobile {BPEL4WS} process}, journal = {Int. J. Bus. Process. Integr. Manag.}, volume = {1}, number = {3}, pages = {192--209}, year = {2006}, url = {https://doi.org/10.1504/IJBPIM.2006.010904}, doi = {10.1504/IJBPIM.2006.010904}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijbpim/IshikawaTYH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jasss/GuyotH06, author = {Paul Guyot and Shinichi Honiden}, title = {Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games}, journal = {J. Artif. Soc. Soc. Simul.}, volume = {9}, number = {4}, year = {2006}, url = {http://jasss.soc.surrey.ac.uk/9/4/8.html}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jasss/GuyotH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/GuyotDH06, author = {Paul Guyot and Alexis Drogoul and Shinichi Honiden}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, title = {Power and negotiation: lessons from agent-based participatory simulations}, booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006}, pages = {27--33}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1160633.1160636}, doi = {10.1145/1160633.1160636}, timestamp = {Tue, 08 Mar 2022 10:12:47 +0100}, biburl = {https://dblp.org/rec/conf/atal/GuyotDH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/AndoFMIH06, author = {Yasushi Ando and Yoshiaki Fukazawa and Osamu Masutani and Hirotoshi Iwasaki and Shinichi Honiden}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, title = {Performance of pheromone model for predicting traffic congestion}, booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006}, pages = {73--80}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1160633.1160642}, doi = {10.1145/1160633.1160642}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/AndoFMIH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/IshikawaYH06, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, title = {Service-oriented and autonomous distribution and provision of multimedia contents}, booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006}, pages = {949--951}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1160633.1160802}, doi = {10.1145/1160633.1160802}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/IshikawaYH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/SeiMH06, author = {Yuichi Sei and Kazutaka Matsuzaki and Shinichi Honiden}, title = {Reduction of the Communication Traffic for Multi-word Searches in DHTs}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {14}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.174}, doi = {10.1109/CIMCA.2006.174}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/SeiMH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/IshikawaYH06, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, title = {Smartive: Agreement-based Mobile Composite Agents for Multimedia Services}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {19}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.199}, doi = {10.1109/CIMCA.2006.199}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/IshikawaYH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/QuanIH06, author = {Truong Khanh Quan and Fuyuki Ishikawa and Shinichi Honiden}, title = {Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {61}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.123}, doi = {10.1109/CIMCA.2006.123}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/QuanIH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/KataokaH06, author = {Satoshi Kataoka and Shinichi Honiden}, title = {Multi-Robot Positioning Model: Multi-Agent Approach}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {112}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.153}, doi = {10.1109/CIMCA.2006.153}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/KataokaH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/IshiguroTFH06, author = {Makoto Ishiguro and Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden}, title = {A Sensor Middleware for Lightweight Relocatable Sensing Programs}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {195}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.27}, doi = {10.1109/CIMCA.2006.27}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/IshiguroTFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/TeiMFH06, author = {Kenji Tei and Hiromi Muto and Yoshiaki Fukazawa and Shinichi Honiden}, title = {Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks}, booktitle = {2006 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2006), 29 November - 1 December 2006, Sydney, Australia}, pages = {201}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CIMCA.2006.134}, doi = {10.1109/CIMCA.2006.134}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/TeiMFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/QuenumABH06, author = {Jos{\'{e}} Ghislain Quenum and Samir Aknine and Jean{-}Pierre Briot and Shinichi Honiden}, editor = {Matteo Baldoni and Ulle Endriss}, title = {A Modeling Framework for Generic Agent Interaction Protocols}, booktitle = {Declarative Agent Languages and Technologies IV, 4th International Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4327}, pages = {207--224}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11961536\_14}, doi = {10.1007/11961536\_14}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dalt/QuenumABH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/e4mas/PlatonSH06, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Danny Weyns and H. Van Dyke Parunak and Fabien Michel}, title = {Environmental Support for Tag Interactions}, booktitle = {Environments for Multi-Agent Systems III, Third International Workshop, {E4MAS} 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4389}, pages = {106--123}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-71103-2\_6}, doi = {10.1007/978-3-540-71103-2\_6}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/e4mas/PlatonSH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esaw/PlatonSH06, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Gregory M. P. O'Hare and Alessandro Ricci and Michael J. O'Grady and Oguz Dikenelli}, title = {A Definition of Exceptions in Agent-Oriented Computing}, booktitle = {Engineering Societies in the Agents World VII, 7th International Workshop, {ESAW} 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4457}, pages = {161--174}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-75524-1\_9}, doi = {10.1007/978-3-540-75524-1\_9}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/esaw/PlatonSH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/ArthoBH06, author = {Cyrille Artho and Armin Biere and Shinichi Honiden}, editor = {Jayadev Misra and Tobias Nipkow and Emil Sekerinski}, title = {Enforcer - Efficient Failure Injection}, booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4085}, pages = {412--427}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11813040\_28}, doi = {10.1007/11813040\_28}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/ArthoBH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/ArthoBH06, author = {Cyrille Artho and Armin Biere and Shinichi Honiden}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Exhaustive Testing of Exception Handlers with Enforcer}, booktitle = {Formal Methods for Components and Objects, 5th International Symposium, {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4709}, pages = {26--46}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74792-5\_2}, doi = {10.1007/978-3-540-74792-5\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/ArthoBH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/QuenumASH06, author = {Jos{\'{e}} Ghislain Quenum and Samir Aknine and Onn Shehory and Shinichi Honiden}, title = {Dynamic Protocol Selection in Open and Heterogeneous Systems}, booktitle = {Proceedings of the 2006 {IEEE/WIC/ACM} International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006}, pages = {333--341}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/IAT.2006.57}, doi = {10.1109/IAT.2006.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/QuenumASH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NakagawaKH06, author = {Hiroyuki Nakagawa and Takuya Karube and Shinichi Honiden}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Analysis of multi-agent systems based on {KAOS} modeling}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {926--929}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134454}, doi = {10.1145/1134285.1134454}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/NakagawaKH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/KataokaIH06, author = {Satoshi Kataoka and Fuyuki Ishikawa and Shinichi Honiden}, title = {PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem}, booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}}, pages = {481--488}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ICTAI.2006.95}, doi = {10.1109/ICTAI.2006.95}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/KataokaIH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SeiMH06, author = {Yuichi Sei and Kazutaka Matsuzaki and Shinichi Honiden}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {115--129}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_13}, doi = {10.1007/978-0-387-34735-6\_13}, timestamp = {Wed, 28 Feb 2024 00:16:41 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/SeiMH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itng/NiwaDH06, author = {Satoshi Niwa and Takuo Doi and Shinichi Honiden}, title = {Web Page Recommender System based on Folksonomy Mining for {ITNG} '06 Submissions}, booktitle = {Third International Conference on Information Technology: New Generations {(ITNG} 2006), 10-12 April 2006, Las Vegas, Nevada, {USA}}, pages = {388--393}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ITNG.2006.140}, doi = {10.1109/ITNG.2006.140}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itng/NiwaDH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/msn/TeiSFHG06, author = {Kenji Tei and Christian Sommer and Yoshiaki Fukazawa and Shinichi Honiden and Pierre{-}Lo{\"{\i}}c Garoche}, editor = {Jiannong Cao and Ivan Stojmenovic and Xiaohua Jia and Sajal K. Das}, title = {Adaptive Geographically Bound Mobile Agents}, booktitle = {Mobile Ad-hoc and Sensor Networks, Second International Conference, {MSN} 2006, Hong Kong, China, December 13-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4325}, pages = {353--364}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11943952\_30}, doi = {10.1007/11943952\_30}, timestamp = {Tue, 14 Apr 2020 13:23:09 +0200}, biburl = {https://dblp.org/rec/conf/msn/TeiSFHG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/PlatonSH06, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Ricardo Choren and Alessandro F. Garcia and Holger Giese and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Challenges for Exception Handling in Multi-Agent Systems}, booktitle = {Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of {SELMAS} 2006]}, series = {Lecture Notes in Computer Science}, volume = {4408}, pages = {41--56}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-73131-3\_3}, doi = {10.1007/978-3-540-73131-3\_3}, timestamp = {Mon, 20 Dec 2021 09:52:14 +0100}, biburl = {https://dblp.org/rec/conf/selmas/PlatonSH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/selmas/PlatonHS06, author = {Eric Platon and Shinichi Honiden and Nicolas Sabouret}, editor = {Ricardo Choren and Alessandro F. Garcia and Holger Giese and Ho{-}fung Leung and Carlos Jos{\'{e}} Pereira de Lucena and Alexander B. Romanovsky}, title = {Challenges in exception handling in multi-agent systems}, booktitle = {Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, {SELMAS} '06, Shanghai, China, May 22-23, 2006}, pages = {45--50}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138063.1138072}, doi = {10.1145/1138063.1138072}, timestamp = {Thu, 18 Aug 2022 13:33:52 +0200}, biburl = {https://dblp.org/rec/conf/selmas/PlatonHS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpcc/IshikawaTYH05, author = {Fuyuki Ishikawa and Yasuyuki Tahara and Nobukazu Yoshioka and Shinichi Honiden}, title = {A framework for synthesis of web services and mobile agents}, journal = {Int. J. Pervasive Comput. Commun.}, volume = {1}, number = {3}, pages = {227--245}, year = {2005}, url = {https://doi.org/10.1108/17427370580000128}, doi = {10.1108/17427370580000128}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpcc/IshikawaTYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/ChoIOSH05, author = {Kenta Cho and Yutaka Irie and Akihiko Ohsuga and Katsuhiko Sekiguchi and Shinichi Honiden}, title = {Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems}, journal = {Syst. Comput. Jpn.}, volume = {36}, number = {4}, pages = {60--70}, year = {2005}, url = {https://doi.org/10.1002/scj.10352}, doi = {10.1002/SCJ.10352}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/ChoIOSH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/IshikawaYH05, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, title = {Mobile agent system for Web service integration in pervasive network}, journal = {Syst. Comput. Jpn.}, volume = {36}, number = {11}, pages = {34--48}, year = {2005}, url = {https://doi.org/10.1002/scj.20334}, doi = {10.1002/SCJ.20334}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/IshikawaYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/IshikawaYTH05, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, title = {Mobile and Cooperative Compounds of Multimedia Services}, booktitle = {2005 {IEEE} International Conference on Services Computing {(SCC} 2005), 11-15 July 2005, Orlando, FL, {USA}}, pages = {129--138}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SCC.2005.65}, doi = {10.1109/SCC.2005.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/IshikawaYTH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amt/PlatonHS05, author = {Eric Platon and Shinichi Honiden and Nicolas Sabouret}, editor = {Hiroyuki Tarumi and Yuefeng Li and Tetsuya Yoshida}, title = {Modelling interactions in assistant teams}, booktitle = {Proceedings of the 2005 International Conference on Active Media Technology, {AMT} 2005, Kagawa International Conference Hall, Takamatsu, Kagawa, Japan, May 19-21, 2005}, pages = {383--388}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/AMT.2005.1505377}, doi = {10.1109/AMT.2005.1505377}, timestamp = {Fri, 27 Nov 2020 11:12:56 +0100}, biburl = {https://dblp.org/rec/conf/amt/PlatonHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/AndoMSIFH05, author = {Yasushi Ando and Osamu Masutani and Hiroshi Sasaki and Hirotoshi Iwasaki and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Sven Brueckner and Giovanna Di Marzo Serugendo and David Hales and Franco Zambonelli}, title = {Pheromone Model: Application to Traffic Congestion Prediction}, booktitle = {Engineering Self-Organising Systems, Third International Workshop, {ESOA} 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3910}, pages = {182--196}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11734697\_14}, doi = {10.1007/11734697\_14}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/AndoMSIFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/DoiTH05, author = {Takuo Doi and Yasuyuki Tahara and Shinichi Honiden}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {{IOM/T:} an interaction description language for multi-agent systems}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {778--785}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082592}, doi = {10.1145/1082473.1082592}, timestamp = {Fri, 26 Apr 2019 14:26:42 +0200}, biburl = {https://dblp.org/rec/conf/atal/DoiTH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/MasutaniSIAFH05, author = {Osamu Masutani and Hiroshi Sasaki and Hirotoshi Iwasaki and Yasushi Ando and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {Pheromone model: application to traffic congestion prediction}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {1171--1172}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082678}, doi = {10.1145/1082473.1082678}, timestamp = {Sat, 18 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/MasutaniSIAFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/IshikawaTYH05, author = {Fuyuki Ishikawa and Yasuyuki Tahara and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {Agent synthesis: partnership and agreement in cooperative mobile agents}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {1267--1268}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082726}, doi = {10.1145/1082473.1082726}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/IshikawaTYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cimca/IshikawaYH05, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden}, title = {Incorporating Agreements on Service Options into BPEL-based Services}, booktitle = {2005 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2005), 28-30 November 2005, Vienna, Austria}, pages = {796--803}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/CIMCA.2005.1631362}, doi = {10.1109/CIMCA.2005.1631362}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cimca/IshikawaYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/e4mas/PlatonSH05, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Danny Weyns and H. Van Dyke Parunak and Fabien Michel}, title = {Overhearing and Direct Interactions: Point of View of an Active Environment}, booktitle = {Environments for Multi-Agent Systems II, Second International Workshop, {E4MAS} 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3830}, pages = {121--138}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11678809\_8}, doi = {10.1007/11678809\_8}, timestamp = {Thu, 14 Oct 2021 09:49:19 +0200}, biburl = {https://dblp.org/rec/conf/e4mas/PlatonSH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/PlatonSH05, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Marie{-}Pierre Gleizes and Gal A. Kaminka and Ann Now{\'{e}} and Sascha Ossowski and Karl Tuyls and Katja Verbeeck}, title = {Tag Interactions in MultiAgent Systems: Environment Support}, booktitle = {{EUMAS} 2005 - Proceedings of the Third European Workshop on Multi-Agent Systems, Brussels, Belgium, December 7-8, 2005}, pages = {270--281}, publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten}, year = {2005}, timestamp = {Mon, 07 Oct 2019 16:15:28 +0200}, biburl = {https://dblp.org/rec/conf/eumas/PlatonSH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/IshikawaYTH05, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, editor = {Chin{-}Sheng Chen and Joaquim Filipe and Isabel Seruca and Jos{\'{e}} Cordeiro}, title = {Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound}, booktitle = {{ICEIS} 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005}, pages = {275--282}, year = {2005}, timestamp = {Thu, 02 Feb 2017 12:53:54 +0100}, biburl = {https://dblp.org/rec/conf/iceis/IshikawaYTH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceis/KurumaH05, author = {Hironobu Kuruma and Shinichi Honiden}, editor = {Chin{-}Sheng Chen and Joaquim Filipe and Isabel Seruca and Jos{\'{e}} Cordeiro}, title = {A Model for Policy Based Service Community}, booktitle = {{ICEIS} 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005}, pages = {360--366}, year = {2005}, timestamp = {Tue, 05 Jul 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iceis/KurumaH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intellcomm/TeiYFH05, author = {Kenji Tei and Nobukazu Yoshioka and Yoshiaki Fukazawa and Shinichi Honiden}, editor = {Roch H. Glitho and Ahmed Karmouch and Samuel Pierre}, title = {Using Mobile Agent for Location-Specific Data Retrieval in Manet}, booktitle = {Intelligence in Communication Systems - {IFIP} International Conference on Intelligence in Communication Systems, {INTELLCOMM} 2005 Montreal, Canada, October 17-19, 2005}, series = {{IFIP}}, volume = {190}, pages = {157--168}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/0-387-32015-6\_15}, doi = {10.1007/0-387-32015-6\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/intellcomm/TeiYFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobiquitous/TeiFHY05, author = {Kenji Tei and Yoshiaki Fukazawa and Shinichi Honiden and Nobukazu Yoshioka}, title = {Geographically Bound Mobile Agent in {MANET}}, booktitle = {2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 17-21 July 2005, San Diego, CA, {USA}}, pages = {516--518}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/MOBIQUITOUS.2005.31}, doi = {10.1109/MOBIQUITOUS.2005.31}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobiquitous/TeiFHY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/MatsuzakiYH05, author = {Kazutaka Matsuzaki and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Robert Meersman and Zahir Tari and Pilar Herrero and Gonzalo M{\'{e}}ndez and Lawrence Cavedon and David B. Martin and Annika Hinze and George Buchanan and Mar{\'{\i}}a S. P{\'{e}}rez and V{\'{\i}}ctor Robles and Jan Humble and Antonia Albani and Jan L. G. Dietz and Herv{\'{e}} Panetto and Monica Scannapieco and Terry A. Halpin and Peter Spyns and Johannes Maria Zaha and Esteban Zim{\'{a}}nyi and Emmanuel Stefanakis and Tharam S. Dillon and Ling Feng and Mustafa Jarrar and Jos Lehmann and Aldo de Moor and Erik Duval and Lora Aroyo}, title = {Flexible and Maintainable Contents Activities in Ubiquitous Environment}, booktitle = {On the Move to Meaningful Internet Systems 2005: {OTM} 2005 Workshops, {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and {WOSE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3762}, pages = {14--15}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11575863\_7}, doi = {10.1007/11575863\_7}, timestamp = {Tue, 11 Apr 2023 12:52:01 +0200}, biburl = {https://dblp.org/rec/conf/otm/MatsuzakiYH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/HattoriCOIH04, author = {Masanori Hattori and Kenta Cho and Akihiko Ohsuga and Masao Isshiki and Shinichi Honiden}, title = {Context-aware agent platform in ubiquitous environments and its verification tests}, journal = {Syst. Comput. Jpn.}, volume = {35}, number = {7}, pages = {13--23}, year = {2004}, url = {https://doi.org/10.1002/scj.10655}, doi = {10.1002/SCJ.10655}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/HattoriCOIH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aois/YoshiokaOH04, author = {Nobukazu Yoshioka and Akihiko Ohsuga and Shinichi Honiden}, editor = {Paolo Bresciani and Paolo Giorgini and Brian Henderson{-}Sellers and Graham Low and Michael Winikoff}, title = {Mobeet: {A} Multi-agent Framework for Ubiquitous Information Systems}, booktitle = {Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, {AOIS} 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3508}, pages = {19--35}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11426714\_2}, doi = {10.1007/11426714\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/aois/YoshiokaOH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/TaharaOH04, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Pigeon: {A} Specification Language for Mobile Agent Applications}, booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}}, pages = {1356--1357}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10222}, doi = {10.1109/AAMAS.2004.10222}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/TaharaOH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cata/MatsumotoH04, author = {Kazunori Matsumoto and Shinichi Honiden}, editor = {Bidyut Gupta}, title = {Software Design Method for Agent Systems from Scenarios}, booktitle = {19th International Conference on Computers and Their Applications, {CATA} 2004, March 18-20, 2004, Red Lion Hotel on Fifth Avenue, Seattle, Washington, {USA}}, pages = {136--141}, publisher = {{ISCA}}, year = {2004}, timestamp = {Mon, 09 Aug 2021 16:27:20 +0200}, biburl = {https://dblp.org/rec/conf/cata/MatsumotoH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/YoshiokaHF04, author = {Nobukazu Yoshioka and Shinichi Honiden and Anthony Finkelstein}, title = {Security Patterns: {A} Method for Constructing Secure and Efficient Inter-Company Coordination Systems}, booktitle = {8th International Enterprise Distributed Object Computing Conference {(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings}, pages = {84--97}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10024}, doi = {10.1109/EDOC.2004.10024}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/YoshiokaHF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esaw/PlatonSH04, author = {Eric Platon and Nicolas Sabouret and Shinichi Honiden}, editor = {Marie{-}Pierre Gleizes and Andrea Omicini and Franco Zambonelli}, title = {T-Compound Interaction and Overhearing Agents}, booktitle = {Engineering Societies in the Agents World V, 5th InternationalWorkshop, {ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3451}, pages = {90--105}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11423355\_7}, doi = {10.1007/11423355\_7}, timestamp = {Mon, 07 Oct 2019 16:15:28 +0200}, biburl = {https://dblp.org/rec/conf/esaw/PlatonSH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/NaganoHOH04, author = {Shinichi Nagano and Tetsuo Hasegawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Dynamic Invocation Model of Web Services Using Subsumption Relations}, booktitle = {Proceedings of the {IEEE} International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, {USA}}, pages = {150}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICWS.2004.1314734}, doi = {10.1109/ICWS.2004.1314734}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/NaganoHOH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/IshikawaYTH04, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, title = {Behavior Descriptions of Mobile Agents for Web Services Integration}, booktitle = {Proceedings of the {IEEE} International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, {USA}}, pages = {342--349}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICWS.2004.1314756}, doi = {10.1109/ICWS.2004.1314756}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/IshikawaYTH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwuc/IshikawaYTH04, author = {Fuyuki Ishikawa and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, editor = {Soraya Kouadri Most{\'{e}}faoui and Zakaria Maamar and Omer F. Rana}, title = {Mobile Agent System for Web Services Integration in Pervasive Networks}, booktitle = {Ubiquitous Computing - Proceedings of the 1st International Workshop on Ubiquitous Computing, {IWUC} 2004, In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004}, pages = {38--47}, publisher = {{INSTICC} Press}, year = {2004}, timestamp = {Mon, 05 Jul 2004 16:09:50 +0200}, biburl = {https://dblp.org/rec/conf/iwuc/IshikawaYTH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwuc/MatsuzakiYH04, author = {Kazutaka Matsuzaki and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Soraya Kouadri Most{\'{e}}faoui and Zakaria Maamar and Omer F. Rana}, title = {Ubiquitous Application Development using a Mobile Agent-based System}, booktitle = {Ubiquitous Computing - Proceedings of the 1st International Workshop on Ubiquitous Computing, {IWUC} 2004, In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004}, pages = {204--212}, publisher = {{INSTICC} Press}, year = {2004}, timestamp = {Mon, 05 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwuc/MatsuzakiYH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mata/MatsuzakiYH04, author = {Kazutaka Matsuzaki and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Ahmed Karmouch and Larry Korba and Edmundo Roberto Mauro Madeira}, title = {Development Methodology for Location-Aware Mobile Agent}, booktitle = {Mobility Aware Technologies and Applications, First International Workshop,MATA 2004, Florian{\'{o}}polis, Brazil, October 20-22, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3284}, pages = {13--26}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30178-3\_2}, doi = {10.1007/978-3-540-30178-3\_2}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/mata/MatsuzakiYH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mata/YoshiokaH04, author = {Nobukazu Yoshioka and Shinichi Honiden}, editor = {Ahmed Karmouch and Larry Korba and Edmundo Roberto Mauro Madeira}, title = {A Pattern Oriented Mobile Agent Framework for Mobile Computing}, booktitle = {Mobility Aware Technologies and Applications, First International Workshop,MATA 2004, Florian{\'{o}}polis, Brazil, October 20-22, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3284}, pages = {369--380}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30178-3\_36}, doi = {10.1007/978-3-540-30178-3\_36}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mata/YoshiokaH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/ChoHHOH04, author = {Kenta Cho and Hisashi Hayashi and Masanori Hattori and Akihiko Ohsuga and Shinichi Honiden}, editor = {Mike Barley and Nikola K. Kasabov}, title = {picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing}, booktitle = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3371}, pages = {43--56}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-32128-6\_4}, doi = {10.1007/978-3-540-32128-6\_4}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/prima/ChoHHOH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/PlatonH04, author = {Eric Platon and Shinichi Honiden}, editor = {Mike Barley and Nikola K. Kasabov}, title = {Introducing Participative Personal Assistant Teams in Negotiation Support Systems}, booktitle = {Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3371}, pages = {178--192}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-32128-6\_14}, doi = {10.1007/978-3-540-32128-6\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/PlatonH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/promas/DoiYTH04, author = {Takou Doi and Nobukazu Yoshioka and Yasuyuki Tahara and Shinichi Honiden}, editor = {Rafael H. Bordini and Mehdi Dastani and J{\"{u}}rgen Dix and Amal El Fallah Seghrouchni}, title = {Bridging the Gap Between {AUML} and Implementation Using {IOM/T}}, booktitle = {Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3346}, pages = {147--162}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-32260-3\_8}, doi = {10.1007/978-3-540-32260-3\_8}, timestamp = {Wed, 12 Aug 2020 21:55:20 +0200}, biburl = {https://dblp.org/rec/conf/promas/DoiYTH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/YoshidaH03, author = {Kazuki Yoshida and Shinichi Honiden}, title = {Formal specification of components in a component-based framework development method}, journal = {Syst. Comput. Jpn.}, volume = {34}, number = {8}, pages = {62--76}, year = {2003}, url = {https://doi.org/10.1002/scj.10280}, doi = {10.1002/SCJ.10280}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/YoshidaH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/HasegawaCKNOH03, author = {Tetsuo Hasegawa and Kenta Cho and Fumihiro Kumeno and Shin Nakajima and Akihiko Ohsuga and Shinichi Honiden}, title = {Interoperability for mobile agents by incarnation agents}, booktitle = {The Second International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings}, pages = {1006--1007}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/860575.860768}, doi = {10.1145/860575.860768}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/HasegawaCKNOH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/IchiseTH03, author = {Ryutaro Ichise and Hideaki Takeda and Shinichi Honiden}, editor = {Georg Gottlob and Toby Walsh}, title = {Integrating Multiple Internet Directories by Instance-based Learning}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {22--30}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/004.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:41 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/IchiseTH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mata/TaharaYH03, author = {Yasuyuki Tahara and Nobukazu Yoshioka and Shinichi Honiden}, editor = {Eric Horlait and Thomas Magedanz and Roch H. Glitho}, title = {A Formal Model of Active Contents Based on the Ambient Calculus}, booktitle = {Mobile Agents for Telecommunication Applications, 5th International Workshop, {MATA} 2003, Marakech, Morocco, October 8-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2881}, pages = {132--141}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39646-8\_13}, doi = {10.1007/978-3-540-39646-8\_13}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/mata/TaharaYH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/HattoriOH03, author = {Masanori Hattori and Akihiko Ohsuga and Shinichi Honiden}, editor = {Hamid R. Arabnia and Youngsong Mun}, title = {Planning Mobile Agent Architecture for Realizing Mobile Intelligence}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 3}, pages = {1026--1032}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 05 Dec 2003 09:24:17 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/HattoriOH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/KanekoFKYH03, author = {Heisuke Kaneko and Yoshiaki Fukazawa and Fumihiro Kumeno and Nobukazu Yoshioka and Shinichi Honiden}, title = {Mobile Agent Based Evacuation System When The Battery Runs Out: {EASTER}}, booktitle = {Proceedings of the First {IEEE} International Conference on Pervasive Computing and Communications (PerCom'03), March 23-26, 2003, Fort Worth, Texas, {USA}}, pages = {460}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/PERCOM.2003.1192771}, doi = {10.1109/PERCOM.2003.1192771}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/percom/KanekoFKYH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/HattoriCOIH03, author = {Masanori Hattori and Kenta Cho and Akihiko Ohsuga and Masao Isshiki and Shinichi Honiden}, title = {Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests}, booktitle = {Proceedings of the First {IEEE} International Conference on Pervasive Computing and Communications (PerCom'03), March 23-26, 2003, Fort Worth, Texas, {USA}}, pages = {547--552}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/PERCOM.2003.1192788}, doi = {10.1109/PERCOM.2003.1192788}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/percom/HattoriCOIH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieiceta/YoshiokaKOH02, author = {Nobukazu Yoshioka and Takahiro Kawamura and Akihiko Ohsuga and Shinichi Honiden}, title = {Evaluation of a Multi Agent Framework for Open Distributed Systems}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {85-A}, number = {11}, pages = {2396--2406}, year = {2002}, url = {http://search.ieice.org/bin/summary.php?id=e85-a\_11\_2396}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieiceta/YoshiokaKOH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/HattoriOH02, author = {Masanori Hattori and Akihiko Ohsuga and Shinichi Honiden}, title = {Planning mobile agent architecture for open network environment}, journal = {Syst. Comput. Jpn.}, volume = {33}, number = {12}, pages = {58--66}, year = {2002}, url = {https://doi.org/10.1002/scj.10112}, doi = {10.1002/SCJ.10112}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/HattoriOH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agents/TaharaOH01, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, editor = {Elisabeth Andr{\'{e}} and Sandip Sen and Claude Frasson and J{\"{o}}rg P. M{\"{u}}ller}, title = {Mobile agent security with the IPEditor development tool and the mobile {UNITY} language}, booktitle = {Proceedings of the Fifth International Conference on Autonomous Agents, {AGENTS} 2001, Montreal, Canada, May 28 - June 1, 2001}, pages = {656--662}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/375735.376478}, doi = {10.1145/375735.376478}, timestamp = {Sat, 30 Sep 2023 09:33:47 +0200}, biburl = {https://dblp.org/rec/conf/agents/TaharaOH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/IchiseTH01, author = {Ryutaro Ichise and Hideaki Takeda and Shinichi Honiden}, editor = {Alexander Maedche and Steffen Staab and Claire Nedellec and Eduard H. Hovy}, title = {Rule Induction for Concept Hierarchy Alignment}, booktitle = {IJCAI'2001 Workshop on Ontology Learning, Proceedings of the Second Workshop on Ontology Learning OL'2001, Seattle, USA, August 4, 2001 (Held in conjunction with the 17th International Conference on Artificial Intelligence IJCAI'2001)}, series = {{CEUR} Workshop Proceedings}, volume = {38}, publisher = {CEUR-WS.org}, year = {2001}, url = {https://ceur-ws.org/Vol-38/ichise\_IJICAI-OL.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:32 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/IchiseTH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isads/TaharaOH01, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint}, booktitle = {Fifth International Symposium on Autonomous Decentralized Systems, {ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001}, pages = {239--242}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ISADS.2001.917421}, doi = {10.1109/ISADS.2001.917421}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isads/TaharaOH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssr/TaharaTOH01, author = {Yasuyuki Tahara and Nobukazu Toshiba and Akihiko Ohsuga and Shinichi Honiden}, title = {Secure and efficient mobile agent application reuse using patterns}, booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability: Putting Software Reuse in Context, {SSR} 2001, May 18-20, 2001, Toronto, Ontario, Canada}, pages = {78--85}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/375212.375255}, doi = {10.1145/375212.375255}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ssr/TaharaTOH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/IchiseTH01, author = {Ryutaro Ichise and Hideaki Takeda and Shinichi Honiden}, editor = {Vincent Y. Shen and Nobuo Saito and Michael R. Lyu and Mary Ellen Zurko}, title = {Automated Alignment of Multiple Internet Directories}, booktitle = {Poster Proceedings of the Tenth International World Wide Web Conference, {WWW} 10, Hong Kong, China, May 1-5, 2001}, year = {2001}, url = {http://www10.org/cdrom/posters/1093.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/IchiseTH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scjapan/KawamuraTHOH00, author = {Takahiro Kawamura and Yasuyuki Tahara and Tetsuo Hasegawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems}, journal = {Syst. Comput. Jpn.}, volume = {31}, number = {13}, pages = {42--56}, year = {2000}, url = {https://doi.org/10.1002/1520-684X(20001130)31:13\&\#60;42::AID-SCJ5\&\#62;3.0.CO;2-0}, doi = {10.1002/1520-684X(20001130)31:13\&\#60;42::AID-SCJ5\&\#62;3.0.CO;2-0}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/KawamuraTHOH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aose/YoshiokaTOH00, author = {Nobukazu Yoshioka and Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, editor = {Paolo Ciancarini and Michael J. Wooldridge}, title = {Security for Mobile Agents}, booktitle = {Agent-Oriented Software Engineering, First International Workshop, {AOSE} 2000, Limerick, Ireland, June 10, 2000, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {1957}, pages = {223--234}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44564-1\_15}, doi = {10.1007/3-540-44564-1\_15}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/aose/YoshiokaTOH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/KawamuraHOH00, author = {Takahiro Kawamura and Tetsuo Hasegawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Rental Application to Rental Service Development of Advanced {ASP} Framework}, booktitle = {4th International Enterprise Distributed Object Computing Conference {(EDOC} 2000), 25-28 September 2000, Makuhari, Japan, Proceedings}, pages = {58}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/EDOC.2000.882344}, doi = {10.1109/EDOC.2000.882344}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/KawamuraHOH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ma/KawamuraJOH00, author = {Takahiro Kawamura and Sam Joseph and Akihiko Ohsuga and Shinichi Honiden}, editor = {David Kotz and Friedemann Mattern}, title = {Quantitative Evaluation of Pairwise Interactions between Agents}, booktitle = {Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, {ASA/MA} 2000, Z{\"{u}}rich, Switzerland, September 13-15, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1882}, pages = {192--205}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/978-3-540-45347-5\_16}, doi = {10.1007/978-3-540-45347-5\_16}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/ma/KawamuraJOH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/HattoriKOH99, author = {Masanori Hattori and Naoki Kase and Akihiko Ohsuga and Shinichi Honiden}, title = {Agent-Based Drivers' Information Assistance System}, journal = {New Gener. Comput.}, volume = {17}, number = {4}, pages = {359--367}, year = {1999}, url = {https://doi.org/10.1007/BF03037242}, doi = {10.1007/BF03037242}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/HattoriKOH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/KawamuraHOH99, author = {Takahiro Kawamura and Tetsuo Hasegawa and Akihiko Ohsuga and Shinichi Honiden}, title = {Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems}, booktitle = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10 December 1999, Takamatsu, Japan}, pages = {260--267}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/APSEC.1999.809611}, doi = {10.1109/APSEC.1999.809611}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/KawamuraHOH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TaharaOH99, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, editor = {Barry W. Boehm and David Garlan and Jeff Kramer}, title = {Agent System Development Method Based on Agent Patterns}, booktitle = {Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999}, pages = {356--367}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/302405.302657}, doi = {10.1145/302405.302657}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/TaharaOH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isads/TaharaOH99, author = {Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Agent System Development Method based on Agent Patterns}, booktitle = {The Fourth International Symposium on Autonomous Decentralized Systems, {ISADS} 1999, Tokyo, Japan, March 20-23, 1999}, pages = {261--263}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ISADS.1999.838445}, doi = {10.1109/ISADS.1999.838445}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isads/TaharaOH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieeecc/UchihiraHS97, author = {Naoshi Uchihira and Shinichi Honiden and Toshibumi Seki}, title = {Hypersequential programming: a new way to develop concurrent programs}, journal = {{IEEE} Concurrency}, volume = {5}, number = {3}, pages = {44--54}, year = {1997}, url = {https://doi.org/10.1109/4434.605918}, doi = {10.1109/4434.605918}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieeecc/UchihiraHS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/internet/OhsugaNIHH97, author = {Akihiko Ohsuga and Yasuo Nagai and Yutaka Irie and Masanori Hattori and Shinichi Honiden}, title = {{PLANGENT:} An Approach to Making Mobile Agents Intelligent}, journal = {{IEEE} Internet Comput.}, volume = {1}, number = {4}, pages = {50--57}, year = {1997}, url = {https://doi.org/10.1109/4236.612215}, doi = {10.1109/4236.612215}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/internet/OhsugaNIHH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/MatsuuraKH97, author = {Saeko Matsuura and Hironobu Kuruma and Shinichi Honiden}, title = {{EVA:} {A} Flexible Programming Method for Evolving Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {23}, number = {5}, pages = {296--313}, year = {1997}, url = {https://doi.org/10.1109/32.588522}, doi = {10.1109/32.588522}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/MatsuuraKH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/HonidenOU96, author = {Shinichi Honiden and Akihiko Ohsuga and Naoshi Uchihira}, title = {{MENDELS} {ZONE:} {A} parallel program development system based on formal specifications}, journal = {Inf. Softw. Technol.}, volume = {38}, number = {3}, pages = {181--189}, year = {1996}, url = {https://doi.org/10.1016/0950-5849(95)01072-6}, doi = {10.1016/0950-5849(95)01072-6}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/HonidenOU96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/UchihiraH96, author = {Naoshi Uchihira and Shinichi Honiden}, title = {Compositional adjustment of concurrent programs to satisfy temporal logic constraints in {MENDELS} {ZONE}}, journal = {J. Syst. Softw.}, volume = {33}, number = {3}, pages = {207--221}, year = {1996}, url = {https://doi.org/10.1016/0164-1212(96)00021-0}, doi = {10.1016/0164-1212(96)00021-0}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/UchihiraH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsr/NatoriKH96, author = {Mari Natori and Akira Kagaya and Shinichi Honiden}, editor = {Murali Sitaraman}, title = {Reuse of design processes based on domain analysis}, booktitle = {Proceedings of Fourth {IEEE} International Conference on Software Reuse, {ICSR} 1996, April 23-26, 1996, Orlando, Florida, {USA}}, pages = {31--40}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/ICSR.1996.496111}, doi = {10.1109/ICSR.1996.496111}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsr/NatoriKH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isotas/TaharaKOH96, author = {Yasuyuki Tahara and Fumihiro Kumeno and Akihiko Ohsuga and Shinichi Honiden}, editor = {Kokichi Futatsugi and Satoshi Matsuoka}, title = {An Algebraic Semantics of Reflective Objects}, booktitle = {Object Technologies for Advanced Software, Second {JSSST} International Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1049}, pages = {173--189}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60954-7\_50}, doi = {10.1007/3-540-60954-7\_50}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/isotas/TaharaKOH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pds/UchihiraHS96, author = {Naoshi Uchihira and Shinichi Honiden and Toshibumi Seki}, editor = {Innes Jelly and Ian Gorton and Peter R. Croll}, title = {Hypersequential programming - a novel paradigm for concurrent programming}, booktitle = {Software Engineering for Parallel and Distributed Systems, Proceedings of the First {IFIP} {TC10} International Workshop on Parallel and Distributed Software Engineering, March 1996}, series = {{IFIP} Conference Proceedings}, volume = {50}, pages = {62--73}, publisher = {Chapman {\&} Hall}, year = {1996}, timestamp = {Thu, 03 Jan 2002 12:07:19 +0100}, biburl = {https://dblp.org/rec/conf/pds/UchihiraHS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/YamamotoOH95, author = {Junichi Yamamoto and Akihiko Ohsuga and Shinichi Honiden}, title = {Cooad: a Case Tool for Object-Oriented Analysis and Design}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {5}, number = {3}, pages = {367--389}, year = {1995}, url = {https://doi.org/10.1142/S0218194095000186}, doi = {10.1142/S0218194095000186}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/YamamotoOH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/EverettH95, author = {William W. Everett and Shinichi Honiden}, title = {Guest Editors' Introduction: Reliability and Safety of Real-Time Systems}, journal = {{IEEE} Softw.}, volume = {12}, number = {3}, pages = {13--16}, year = {1995}, url = {https://doi.org/10.1109/52.382177}, doi = {10.1109/52.382177}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/EverettH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/KishimotoKH95, author = {Yoshinori Kishimoto and Nobuto Kotaka and Shinichi Honiden}, title = {Adapting Object-Communication Methods Dynamically}, journal = {{IEEE} Softw.}, volume = {12}, number = {3}, pages = {65--74}, year = {1995}, url = {https://doi.org/10.1109/52.382187}, doi = {10.1109/52.382187}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/KishimotoKH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/KumenoTOH95, author = {Fumihiro Kumeno and Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Evolutional Agents: Field Oriented Programming Language, Flage}, booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December 6-9, 1995, Brisbane, Queensland, Australia}, pages = {189--198}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/APSEC.1995.496967}, doi = {10.1109/APSEC.1995.496967}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/KumenoTOH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/MatsuuraH95, author = {Saeko Matsuura and Shinichi Honiden}, title = {Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse}, booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December 6-9, 1995, Brisbane, Queensland, Australia}, pages = {364--373}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/APSEC.1995.496985}, doi = {10.1109/APSEC.1995.496985}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/MatsuuraH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/UchihiraH95, author = {Naoshi Uchihira and Shinichi Honiden}, title = {Compositional adjustment of concurrent programs to satisfy temporal logic constraints in {MENDELS} {ZONE}}, booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, {USA}}, pages = {359--368}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/HICSS.1995.375522}, doi = {10.1109/HICSS.1995.375522}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/UchihiraH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/obpdc/TaharaKOH95, author = {Yasuyuki Tahara and Fumihiro Kumeno and Akihiko Ohsuga and Shinichi Honiden}, editor = {Jean{-}Pierre Briot and Jean{-}Marc Geib and Akinori Yonezawa}, title = {Formal Semantics of Agent Evolution in Language Flage}, booktitle = {Object-Based Parallel and Distributed Computation, France-Japan Workshop, {OBPDC} '95, Tokyo, Japan, June 21-23, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1107}, pages = {329--348}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61487-7\_36}, doi = {10.1007/3-540-61487-7\_36}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/obpdc/TaharaKOH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HonidenNUI94, author = {Shinichi Honiden and Kazuhiko Nishimura and Naoshi Uchihira and Kiyoshi Itoh}, title = {An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {11}, pages = {849--867}, year = {1994}, url = {https://doi.org/10.1109/32.368123}, doi = {10.1109/32.368123}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HonidenNUI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/YamamotoOH94, author = {Junichi Yamamoto and Akihiko Ohsuga and Shinichi Honiden}, title = {Object-oriented analysis and design support system using algebraic specification techniques}, booktitle = {First Asia-Pacific Software Engineering Conference, {APSEC} 1994, Tokyo, Japan, December 7-9, 1994}, pages = {388--397}, publisher = {{IEEE}}, year = {1994}, url = {https://doi.org/10.1109/APSEC.1994.465241}, doi = {10.1109/APSEC.1994.465241}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apsec/YamamotoOH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsr/KumenoTOH94, author = {Fumihiro Kumeno and Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden}, title = {Flage: field-oriented language for agents model}, booktitle = {Proceedings of 3rd International Conference on Software Reuse, {ICSR} 1994, Rio De Janeiro, Brazil, November 1-4, 1994}, pages = {198--199}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/ICSR.1994.365782}, doi = {10.1109/ICSR.1994.365782}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsr/KumenoTOH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/HonidenKK93, author = {Shinichi Honiden and Nobuto Kotaka and Yoshinori Kishimoto}, title = {Formalizing Specification Modeling in {OOA}}, journal = {{IEEE} Softw.}, volume = {10}, number = {1}, pages = {54--66}, year = {1993}, url = {https://doi.org/10.1109/52.207229}, doi = {10.1109/52.207229}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/HonidenKK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KomiyaSHKOHOO93, author = {Seiichi Komiya and Motoshi Saeki and Shinichi Honiden and Junzou Kato and Akira Ohmori and Hisayuki Horai and Shigeru Ohtsuki and Kazuhito Ohmaki}, title = {An Experimental Analysis for Classifying Specification Processes}, booktitle = {SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}}, pages = {231--234}, publisher = {Knowledge Systems Institute}, year = {1993}, timestamp = {Wed, 21 Feb 2007 11:27:24 +0100}, biburl = {https://dblp.org/rec/conf/seke/KomiyaSHKOHOO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ItohTH92, author = {Kiyoshi Itoh and Yasuhisa Tamura and Shinichi Honiden}, title = {Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {2}, number = {1}, pages = {5--29}, year = {1992}, url = {https://doi.org/10.1142/S0218194092000026}, doi = {10.1142/S0218194092000026}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/ItohTH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/KotakaKH92, author = {Nobuto Kotaka and Yoshinori Kishimoto and Shinichi Honiden}, editor = {John Potter and Mario Tokoro and Bertrand Meyer}, title = {Specification Process Modelling in Object-Oriented Analysis}, booktitle = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia}, pages = {67--81}, publisher = {Prentice Hall}, year = {1992}, timestamp = {Mon, 30 Oct 2017 11:35:08 +0100}, biburl = {https://dblp.org/rec/conf/tools/KotakaKH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ItohHSK91, author = {Kiyoshi Itoh and Shinichi Honiden and Keisuke Shida and Takaaki Konno}, title = {Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network}, booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September, 1991}, pages = {307--314}, publisher = {{IEEE}}, year = {1991}, url = {https://doi.org/10.1109/CMPSAC.1991.170194}, doi = {10.1109/CMPSAC.1991.170194}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/compsac/ItohHSK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esec/HonidenUI91, author = {Shinichi Honiden and Naoshi Uchihira and Kiyoshi Itoh}, editor = {Axel van Lamsweerde and Alfonso Fuggetta}, title = {An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems}, booktitle = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {550}, pages = {189--209}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3540547428\_49}, doi = {10.1007/3540547428\_49}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/esec/HonidenUI91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwssd/HonidenOU91, author = {Shinichi Honiden and Akihiko Ohsuga and Naoshi Uchihira}, editor = {Jean{-}Pierre Finance and Carlo Ghezzi and Gruia{-}Catalin Roman}, title = {An integration environment to put formal specifications into practical use in real-time systems}, booktitle = {Proceedings of the 6th International Workshop on Software Specification and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991}, pages = {102--109}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://dl.acm.org/doi/10.5555/952786.952802}, doi = {10.5555/952786.952802}, timestamp = {Fri, 13 May 2022 15:04:49 +0200}, biburl = {https://dblp.org/rec/conf/iwssd/HonidenOU91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/FujiwaraH90, author = {Yasushi Fujiwara and Shinichi Honiden}, editor = {Jo{\~{a}}o P. Martins and Michael Reinfrank}, title = {On Logical Foundations of the {ATMS}}, booktitle = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden, August 6, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {515}, pages = {125--135}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0037033}, doi = {10.1007/BFB0037033}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/ecai/FujiwaraH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rts/HonidenUMMA89, author = {Shinichi Honiden and Naoshi Uchihira and Kazunori Matsumoto and Kazuo Matsumura and Masahiko Arai}, title = {An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design}, journal = {Real Time Syst.}, volume = {1}, number = {4}, pages = {313--331}, year = {1989}, url = {https://doi.org/10.1007/BF00366573}, doi = {10.1007/BF00366573}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rts/HonidenUMMA89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FujiwaraH89, author = {Yasushi Fujiwara and Shinichi Honiden}, editor = {N. S. Sridharan}, title = {Relating the {TMS} to Autoepistemic Logic}, booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989}, pages = {1199--1205}, publisher = {Morgan Kaufmann}, year = {1989}, url = {http://ijcai.org/Proceedings/89-2/Papers/056.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:51 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/FujiwaraH89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/UchihiraMHN87, author = {Naoshi Uchihira and Kazunori Matsumoto and Shinichi Honiden and Hideo Nakamura}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {{MENDELS:} Concurrent Program Synthesis System Using Temporal Logic}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {50--68}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_4}, doi = {10.1007/3-540-19426-6\_4}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/UchihiraMHN87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compcon/HonidenUK86, author = {Shinichi Honiden and Naoshi Uchihira and Toshiaki Kasuya}, title = {{MENDEL:} Prolog Based Concurrent Object Oriented Language}, booktitle = {Spring COMPCON'86, Digest of Papers, Thirty-First {IEEE} Computer Society International Conference, San Francisco, California, USA, March 3-6, 1986}, pages = {230--234}, publisher = {{IEEE} Computer Society}, year = {1986}, timestamp = {Wed, 28 Jun 2006 09:47:20 +0200}, biburl = {https://dblp.org/rec/conf/compcon/HonidenUK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HonidenUK85, author = {Shinichi Honiden and Naoshi Uchihira and Toshiaki Kasuya}, editor = {Eiiti Wada}, title = {Software Prototyping with {MENDEL}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {108--116}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_11}, doi = {10.1007/3-540-16479-0\_11}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/HonidenUK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.