The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Shinichi Honiden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    Mobile and Cooperative Compounds of Multimedia Services. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2005, pp:129-138 [Conf]
  2. Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Mobile agent security with the IPEditor development tool and the mobile UNITY language. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:656-662 [Conf]
  3. Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
    Mobeet: A Multi-agent Framework for Ubiquitous Information Systems. [Citation Graph (0, 0)][DBLP]
    AOIS, 2004, pp:19-35 [Conf]
  4. Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Security for Mobile Agents. [Citation Graph (0, 0)][DBLP]
    AOSE, 2000, pp:223-234 [Conf]
  5. Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
    Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:260-267 [Conf]
  6. Fumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Evolutional Agents: Field Oriented Programming Language, Flage. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:189-198 [Conf]
  7. Saeko Matsuura, Shinichi Honiden
    Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:364-373 [Conf]
  8. Yasushi Ando, Yoshiaki Fukazawa, Osamu Masutani, Hirotoshi Iwasaki, Shinichi Honiden
    Performance of pheromone model for predicting traffic congestion. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:73-80 [Conf]
  9. Yasushi Ando, Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yoshiaki Fukazawa, Shinichi Honiden
    Pheromone Model: Application to Traffic Congestion Prediction. [Citation Graph (0, 0)][DBLP]
    Engineering Self-Organising Systems, 2005, pp:182-196 [Conf]
  10. Takuo Doi, Yasuyuki Tahara, Shinichi Honiden
    IOM/T: an interaction description language for multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:778-785 [Conf]
  11. Paul Guyot, Alexis Drogoul, Shinichi Honiden
    Power and negotiation: lessons from agent-based participatory simulations. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:27-33 [Conf]
  12. Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden
    Interoperability for mobile agents by incarnation agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1006-1007 [Conf]
  13. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    Agent synthesis: partnership and agreement in cooperative mobile agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1267-1268 [Conf]
  14. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Service-oriented and autonomous distribution and provision of multimedia contents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:949-951 [Conf]
  15. Osamu Masutani, Hiroshi Sasaki, Hirotoshi Iwasaki, Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden
    Pheromone model: application to traffic congestion prediction. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1171-1172 [Conf]
  16. Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Pigeon: A Specification Language for Mobile Agent Applications. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1356-1357 [Conf]
  17. Kazunori Matsumoto, Shinichi Honiden
    Software Design Method for Agent Systems from Scenarios. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2004, pp:136-141 [Conf]
  18. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
    MENDEL: Prolog Based Concurrent Object Oriented Language. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1986, pp:230-234 [Conf]
  19. José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
    A Modeling Framework for Generic Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:207-224 [Conf]
  20. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    Overhearing and Direct Interactions: Point of View of an Active Environment. [Citation Graph (0, 0)][DBLP]
    E4MAS, 2005, pp:121-138 [Conf]
  21. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    Environmental Support for Tag Interactions. [Citation Graph (0, 0)][DBLP]
    E4MAS, 2006, pp:106-123 [Conf]
  22. Yasushi Fujiwara, Shinichi Honiden
    On Logical Foundations of the ATMS. [Citation Graph (0, 0)][DBLP]
    Truth Maintenance Systems (ECAI Workshop), 1990, pp:125-135 [Conf]
  23. Takahiro Kawamura, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
    Rental Application to Rental Service Development of Advanced ASP Framework. [Citation Graph (0, 0)][DBLP]
    EDOC, 2000, pp:58-0 [Conf]
  24. Nobukazu Yoshioka, Shinichi Honiden, Anthony Finkelstein
    Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. [Citation Graph (0, 0)][DBLP]
    EDOC, 2004, pp:84-97 [Conf]
  25. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    T-Compound Interaction and Overhearing Agents. [Citation Graph (0, 0)][DBLP]
    ESAW, 2004, pp:90-105 [Conf]
  26. Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
    An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:189-209 [Conf]
  27. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    Tag Interactions in MultiAgent Systems: Environment Support. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:270-281 [Conf]
  28. Cyrille Artho, Armin Biere, Shinichi Honiden
    Enforcer - Efficient Failure Injection. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:412-427 [Conf]
  29. Naoshi Uchihira, Shinichi Honiden
    Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1995, pp:359-368 [Conf]
  30. José Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden
    Dynamic Protocol Selection in Open and Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    IAT, 2006, pp:333-341 [Conf]
  31. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound. [Citation Graph (0, 0)][DBLP]
    ICEIS (4), 2005, pp:275-282 [Conf]
  32. Hironobu Kuruma, Shinichi Honiden
    A Model for Policy Based Service Community. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:360-366 [Conf]
  33. Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
    Analysis of multi-agent systems based on KAOS modeling. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:926-929 [Conf]
  34. Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Agent System Development Method Based on Agent Patterns. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:356-367 [Conf]
  35. Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
    Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:708-718 [Conf]
  36. Satoshi Kataoka, Fuyuki Ishikawa, Shinichi Honiden
    PID-filtered Negotiation for Decision Making in Dynamic Coverage Problem. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:481-488 [Conf]
  37. Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
    Dynamic Invocation Model of Web Services Using Subsumption Relations. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:150-0 [Conf]
  38. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    Behavior Descriptions of Mobile Agents for Web Services Integration. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:342-349 [Conf]
  39. Yasushi Fujiwara, Shinichi Honiden
    Relating the TMS to Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1199-1205 [Conf]
  40. Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
    Rule Induction for Concept Hierarchy Alignment. [Citation Graph (0, 0)][DBLP]
    Workshop on Ontology Learning, 2001, pp:- [Conf]
  41. Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
    Integrating Multiple Internet Directories by Instance-based Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:22-30 [Conf]
  42. Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Agent System Development Method based on Agent Patterns. [Citation Graph (0, 0)][DBLP]
    ISADS, 1999, pp:261-263 [Conf]
  43. Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden
    Behavior Patterns for Mobile Agent Systems from the Development Process Viewpoint. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:239-242 [Conf]
  44. Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden
    An Algebraic Semantics of Reflective Objects. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1996, pp:173-189 [Conf]
  45. Satoshi Niwa, Takuo Doi, Shinichi Honiden
    Web Page Recommender System based on Folksonomy Mining for ITNG '06 Submissions. [Citation Graph (0, 0)][DBLP]
    ITNG, 2006, pp:388-393 [Conf]
  46. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    Mobile Agent System for Web Services Integration in Pervasive Networks. [Citation Graph (0, 0)][DBLP]
    IWUC, 2004, pp:38-47 [Conf]
  47. Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
    Ubiquitous Application Development using a Mobile Agent-based System. [Citation Graph (0, 0)][DBLP]
    IWUC, 2004, pp:204-212 [Conf]
  48. Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
    MENDELS: Concurrent Program Synthesis System Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
    LP, 1987, pp:50-68 [Conf]
  49. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
    Software Prototyping with MENDEL. [Citation Graph (0, 0)][DBLP]
    LP, 1985, pp:108-116 [Conf]
  50. Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shinichi Honiden
    Quantitative Evaluation of Pairwise Interactions between Agents. [Citation Graph (0, 0)][DBLP]
    ASA/MA, 2000, pp:192-205 [Conf]
  51. Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
    Development Methodology for Location-Aware Mobile Agent. [Citation Graph (0, 0)][DBLP]
    MATA, 2004, pp:13-26 [Conf]
  52. Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    A Formal Model of Active Contents Based on the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    MATA, 2003, pp:132-141 [Conf]
  53. Nobukazu Yoshioka, Shinichi Honiden
    A Pattern Oriented Mobile Agent Framework for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    MATA, 2004, pp:369-380 [Conf]
  54. Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden, Nobukazu Yoshioka
    Geographically Bound Mobile Agent in MANET. [Citation Graph (0, 0)][DBLP]
    MobiQuitous, 2005, pp:516-518 [Conf]
  55. Kenji Tei, Christian Sommer 0002, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche
    Adaptive Geographically Bound Mobile Agents. [Citation Graph (0, 0)][DBLP]
    MSN, 2006, pp:353-364 [Conf]
  56. Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden
    Formal Semantics of Agent Evolution in Language Flage. [Citation Graph (0, 0)][DBLP]
    OBPDC, 1995, pp:329-348 [Conf]
  57. Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
    Flexible and Maintainable Contents Activities in Ubiquitous Environment. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2005, pp:14-15 [Conf]
  58. Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
    Planning Mobile Agent Architecture for Realizing Mobile Intelligence. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1026-1032 [Conf]
  59. Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
    Hypersequential programming - a novel paradigm for concurrent programming. [Citation Graph (0, 0)][DBLP]
    Software Engineering for Parallel and Distributed Systems, 1996, pp:62-73 [Conf]
  60. Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden
    Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests. [Citation Graph (0, 0)][DBLP]
    PerCom, 2003, pp:547-552 [Conf]
  61. Heisuke Kaneko, Yoshiaki Fukazawa, Fumihiro Kumeno, Nobukazu Yoshioka, Shinichi Honiden
    Mobile Agent Based Evacuation System When The Battery Runs Out: EASTER. [Citation Graph (0, 0)][DBLP]
    PerCom, 2003, pp:460-0 [Conf]
  62. Kenta Cho, Hisashi Hayashi, Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
    picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2004, pp:43-56 [Conf]
  63. Eric Platon, Shinichi Honiden
    Introducing Participative Personal Assistant Teams in Negotiation Support Systems. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2004, pp:178-192 [Conf]
  64. Takou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    Bridging the Gap Between AUML and Implementation Using IOM/T. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2004, pp:147-162 [Conf]
  65. Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki
    An Experimental Analysis for Classifying Specification Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:231-234 [Conf]
  66. Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga, Shinichi Honiden
    Secure and efficient mobile agent application reuse using patterns. [Citation Graph (0, 0)][DBLP]
    SSR, 2001, pp:78-85 [Conf]
  67. Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden
    Automated Alignment of Multiple Internet Directories. [Citation Graph (0, 0)][DBLP]
    WWW Posters, 2001, pp:- [Conf]
  68. Makoto Ishiguro, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    A Sensor Middleware for Lightweight Relocatable Sensing Programs. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:195- [Conf]
  69. Truong Khanh Quan, Fuyuki Ishikawa, Shinichi Honiden
    Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:61- [Conf]
  70. Satoshi Kataoka, Shinichi Honiden
    Multi-Robot Positioning Model: Multi-Agent Approach. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:112- [Conf]
  71. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Smartive: Agreement-based Mobile Composite Agents for Multimedia Services. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:19- [Conf]
  72. Kenji Tei, Hiromi Muto, Yoshiaki Fukazawa, Shinichi Honiden
    Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:201- [Conf]
  73. Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden
    Reduction of the Communication Traffic for Multi-word Searches in DHTs. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:14- [Conf]
  74. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Incorporating Agreements on Service Options into BPEL-based Services. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:796-803 [Conf]
  75. Nobuto Kotaka, Yoshinori Kishimoto, Shinichi Honiden
    Specification Process Modelling in Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:67-81 [Conf]
  76. Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
    Mechanisms for environments in multi-agent systems: Survey and opportunities. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2007, v:14, n:1, pp:31-47 [Journal]
  77. Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira
    MENDELS ZONE: A parallel program development system based on formal specifications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:3, pp:181-189 [Journal]
  78. Akihiko Ohsuga, Yasuo Nagai, Yutaka Irie, Masanori Hattori, Shinichi Honiden
    PLANGENT: An Approach to Making Mobile Agents Intelligent. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1997, v:1, n:4, pp:50-57 [Journal]
  79. Naoshi Uchihira, Shinichi Honiden
    Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:33, n:3, pp:207-221 [Journal]
  80. Masanori Hattori, Naoki Kase, Akihiko Ohsuga, Shinichi Honiden
    Agent-Based Drivers' Information Assistance System. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:4, pp:359-367 [Journal]
  81. Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai
    An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1989, v:1, n:4, pp:313-331 [Journal]
  82. Kenta Cho, Yutaka Irie, Akihiko Ohsuga, Katsuhiko Sekiguchi, Shinichi Honiden
    Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2005, v:36, n:4, pp:60-70 [Journal]
  83. Masanori Hattori, Kenta Cho, Akihiko Ohsuga, Masao Isshiki, Shinichi Honiden
    Context-aware agent platform in ubiquitous environments and its verification tests. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2004, v:35, n:7, pp:13-23 [Journal]
  84. Masanori Hattori, Akihiko Ohsuga, Shinichi Honiden
    Planning mobile agent architecture for open network environment. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2002, v:33, n:12, pp:58-66 [Journal]
  85. Takahiro Kawamura, Yasuyuki Tahara, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden
    Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2000, v:31, n:13, pp:42-56 [Journal]
  86. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Mobile agent system for Web service integration in pervasive network. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2005, v:36, n:11, pp:34-48 [Journal]
  87. William W. Everett, Shinichi Honiden
    Guest Editors' Introduction: Reliability and Safety of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:3, pp:13-16 [Journal]
  88. Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto
    Formalizing Specification Modeling in OOA. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1993, v:10, n:1, pp:54-66 [Journal]
  89. Yoshinori Kishimoto, Nobuto Kotaka, Shinichi Honiden
    Adapting Object-Communication Methods Dynamically. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:3, pp:65-74 [Journal]
  90. Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh
    An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:11, pp:849-867 [Journal]
  91. Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
    EVA: A Flexible Programming Method for Evolving Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:296-313 [Journal]
  92. Cyrille Artho, Klaus Havelund, Shinichi Honiden
    Visualization of Concurrent Program Executions. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:541-546 [Conf]
  93. Cyrille Artho, Zhongwei Chen, Shinichi Honiden
    AOP-based automated unit test classification of large benchmarks. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:17-22 [Conf]
  94. Nik Nailah Binti Abdullah, Shinichi Honiden
    Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2007, pp:94-107 [Conf]
  95. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    A Definition of Exceptions in Agent-Oriented Computing. [Citation Graph (0, 0)][DBLP]
    ESAW, 2006, pp:161-174 [Conf]
  96. Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
    Efficient Model Checking of Applications with Input/Output. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:515-522 [Conf]
  97. Eric Platon, Martin Rehák, Nicolas Sabouret, Michal Pechoucek, Shinichi Honiden
    Detecting Intrusions in Agent System by Means of Exception Handling. [Citation Graph (0, 0)][DBLP]
    HoloMAS, 2007, pp:161-172 [Conf]
  98. José Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden
    Protocol Selection alongside Service Selection and Composition. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:719-726 [Conf]
  99. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Policy-based Runtime Partner Management in ProcessBased Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:1191-1194 [Conf]
  100. Yuichi Sei, Shinichi Honiden
    Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:454-470 [Conf]
  101. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:683-700 [Conf]
  102. Eric Platon, Nicolas Sabouret, Shinichi Honiden
    Challenges for Exception Handling in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2006, pp:41-56 [Conf]
  103. Cyrille Artho, Christian Sommer 0002, Shinichi Honiden
    Model Checking Networked Programs in the Presence of Transmission Failures. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:219-228 [Conf]

  104. Flexible Bloom Filters for Searching Textual Objects. [Citation Graph (, )][DBLP]


  105. Model Checking Process with Goal Oriented Requirements Analysis. [Citation Graph (, )][DBLP]


  106. Building coalitions involving agents and humans: reports from agent-based participatory simulations. [Citation Graph (, )][DBLP]


  107. Suppressing Redundancy in Wireless Sensor Network Traffic. [Citation Graph (, )][DBLP]


  108. Extraction of Places Related to Flickr Tags. [Citation Graph (, )][DBLP]


  109. Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. [Citation Graph (, )][DBLP]


  110. A Method of Analysis to Uncover Artefact-Communication Relationships. [Citation Graph (, )][DBLP]


  111. Exhaustive Testing of Exception Handlers with Enforcer. [Citation Graph (, )][DBLP]


  112. Sustaining behavioral diversity in NEAT. [Citation Graph (, )][DBLP]


  113. Applying Design Patterns to Wireless Sensor Network Programming. [Citation Graph (, )][DBLP]


  114. Ringed Filters for Peer-to-Peer Keyword Searching. [Citation Graph (, )][DBLP]


  115. An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. [Citation Graph (, )][DBLP]


  116. Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. [Citation Graph (, )][DBLP]


  117. Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. [Citation Graph (, )][DBLP]


  118. Management of Networked Sensing Devices. [Citation Graph (, )][DBLP]


  119. Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. [Citation Graph (, )][DBLP]


  120. Increasing the Ease of Deployment in Ubiquitous Environments. [Citation Graph (, )][DBLP]


  121. A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. [Citation Graph (, )][DBLP]


  122. Geographical data collection in sensor networks with self-organizing transaction cluster-heads. [Citation Graph (, )][DBLP]


  123. Specifying and Checking Refinement Relationships in VDM++. [Citation Graph (, )][DBLP]


  124. Region-Based Sensor Selection for Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  125. What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. [Citation Graph (, )][DBLP]


  126. Communication in Context: A Stimulus-Response Account of Agile Team Interactions. [Citation Graph (, )][DBLP]


  127. Constructing Self-Adaptive Systems Using a KAOS Model. [Citation Graph (, )][DBLP]


  128. Balancing Graph Voronoi Diagrams. [Citation Graph (, )][DBLP]


  129. Approximate Shortest Path Queries in Graphs Using Voronoi Duals. [Citation Graph (, )][DBLP]


  130. Reporter node determination of replicated node detection in wireless sensor networks. [Citation Graph (, )][DBLP]


  131. Name-based location service for mobile agents in wireless sensor networks. [Citation Graph (, )][DBLP]


  132. Plug&manage heterogeneous sensing devices. [Citation Graph (, )][DBLP]


  133. Opérations d'administration pour SStreaMWare. [Citation Graph (, )][DBLP]


  134. An efficient node selection metric for in-network process deployment. [Citation Graph (, )][DBLP]


  135. Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. [Citation Graph (, )][DBLP]


  136. Developing Consistent Contractual Policies in Service Composition. [Citation Graph (, )][DBLP]


  137. Business Semantics Centric Reliability Testing for Web Services in BPEL. [Citation Graph (, )][DBLP]


  138. Cooperative Behaviors Description for Self-* Systems Implementation. [Citation Graph (, )][DBLP]


Search in 0.084secs, Finished in 0.087secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002