Search the dblp DataBase
Shinichi Honiden :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] Nobukazu Yoshioka , Yasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden Security for Mobile Agents. [Citation Graph (0, 0)][DBLP ] AOSE, 2000, pp:223-234 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Shinichi Honiden , Naoshi Uchihira , Toshiaki Kasuya MENDEL: Prolog Based Concurrent Object Oriented Language. [Citation Graph (0, 0)][DBLP ] COMPCON, 1986, pp:230-234 [Conf ] 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 ] 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 ] Eric Platon , Nicolas Sabouret , Shinichi Honiden Environmental Support for Tag Interactions. [Citation Graph (0, 0)][DBLP ] E4MAS, 2006, pp:106-123 [Conf ] 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 ] 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 ] 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 ] Eric Platon , Nicolas Sabouret , Shinichi Honiden T-Compound Interaction and Overhearing Agents. [Citation Graph (0, 0)][DBLP ] ESAW, 2004, pp:90-105 [Conf ] 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 ] Eric Platon , Nicolas Sabouret , Shinichi Honiden Tag Interactions in MultiAgent Systems: Environment Support. [Citation Graph (0, 0)][DBLP ] EUMAS, 2005, pp:270-281 [Conf ] Cyrille Artho , Armin Biere , Shinichi Honiden Enforcer - Efficient Failure Injection. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:412-427 [Conf ] 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 ] 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 ] 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 ] Hironobu Kuruma , Shinichi Honiden A Model for Policy Based Service Community. [Citation Graph (0, 0)][DBLP ] ICEIS (3), 2005, pp:360-366 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Yasushi Fujiwara , Shinichi Honiden Relating the TMS to Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] IJCAI, 1989, pp:1199-1205 [Conf ] Ryutaro Ichise , Hideaki Takeda , Shinichi Honiden Rule Induction for Concept Hierarchy Alignment. [Citation Graph (0, 0)][DBLP ] Workshop on Ontology Learning, 2001, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Shinichi Honiden , Naoshi Uchihira , Toshiaki Kasuya Software Prototyping with MENDEL. [Citation Graph (0, 0)][DBLP ] LP, 1985, pp:108-116 [Conf ] 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 ] Kazutaka Matsuzaki , Nobukazu Yoshioka , Shinichi Honiden Development Methodology for Location-Aware Mobile Agent. [Citation Graph (0, 0)][DBLP ] MATA, 2004, pp:13-26 [Conf ] 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 ] Nobukazu Yoshioka , Shinichi Honiden A Pattern Oriented Mobile Agent Framework for Mobile Computing. [Citation Graph (0, 0)][DBLP ] MATA, 2004, pp:369-380 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Eric Platon , Shinichi Honiden Introducing Participative Personal Assistant Teams in Negotiation Support Systems. [Citation Graph (0, 0)][DBLP ] PRIMA, 2004, pp:178-192 [Conf ] 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 ] 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 ] 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 ] Ryutaro Ichise , Hideaki Takeda , Shinichi Honiden Automated Alignment of Multiple Internet Directories. [Citation Graph (0, 0)][DBLP ] WWW Posters, 2001, pp:- [Conf ] 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 ] 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 ] Satoshi Kataoka , Shinichi Honiden Multi-Robot Positioning Model: Multi-Agent Approach. [Citation Graph (0, 0)][DBLP ] CIMCA/IAWTIC, 2006, pp:112- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Cyrille Artho , Klaus Havelund , Shinichi Honiden Visualization of Concurrent Program Executions. [Citation Graph (0, 0)][DBLP ] COMPSAC (2), 2007, pp:541-546 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Flexible Bloom Filters for Searching Textual Objects. [Citation Graph (, )][DBLP ] Model Checking Process with Goal Oriented Requirements Analysis. [Citation Graph (, )][DBLP ] Building coalitions involving agents and humans: reports from agent-based participatory simulations. [Citation Graph (, )][DBLP ] Suppressing Redundancy in Wireless Sensor Network Traffic. [Citation Graph (, )][DBLP ] Extraction of Places Related to Flickr Tags. [Citation Graph (, )][DBLP ] Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems. [Citation Graph (, )][DBLP ] A Method of Analysis to Uncover Artefact-Communication Relationships. [Citation Graph (, )][DBLP ] Exhaustive Testing of Exception Handlers with Enforcer. [Citation Graph (, )][DBLP ] Sustaining behavioral diversity in NEAT. [Citation Graph (, )][DBLP ] Applying Design Patterns to Wireless Sensor Network Programming. [Citation Graph (, )][DBLP ] Ringed Filters for Peer-to-Peer Keyword Searching. [Citation Graph (, )][DBLP ] An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. [Citation Graph (, )][DBLP ] Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays. [Citation Graph (, )][DBLP ] Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. [Citation Graph (, )][DBLP ] Management of Networked Sensing Devices. [Citation Graph (, )][DBLP ] Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments. [Citation Graph (, )][DBLP ] Increasing the Ease of Deployment in Ubiquitous Environments. [Citation Graph (, )][DBLP ] A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems. [Citation Graph (, )][DBLP ] Geographical data collection in sensor networks with self-organizing transaction cluster-heads. [Citation Graph (, )][DBLP ] Specifying and Checking Refinement Relationships in VDM++. [Citation Graph (, )][DBLP ] Region-Based Sensor Selection for Wireless Sensor Networks. [Citation Graph (, )][DBLP ] What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. [Citation Graph (, )][DBLP ] Communication in Context: A Stimulus-Response Account of Agile Team Interactions. [Citation Graph (, )][DBLP ] Constructing Self-Adaptive Systems Using a KAOS Model. [Citation Graph (, )][DBLP ] Balancing Graph Voronoi Diagrams. [Citation Graph (, )][DBLP ] Approximate Shortest Path Queries in Graphs Using Voronoi Duals. [Citation Graph (, )][DBLP ] Reporter node determination of replicated node detection in wireless sensor networks. [Citation Graph (, )][DBLP ] Name-based location service for mobile agents in wireless sensor networks. [Citation Graph (, )][DBLP ] Plug&manage heterogeneous sensing devices. [Citation Graph (, )][DBLP ] Opérations d'administration pour SStreaMWare. [Citation Graph (, )][DBLP ] An efficient node selection metric for in-network process deployment. [Citation Graph (, )][DBLP ] Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks. [Citation Graph (, )][DBLP ] Developing Consistent Contractual Policies in Service Composition. [Citation Graph (, )][DBLP ] Business Semantics Centric Reliability Testing for Web Services in BPEL. [Citation Graph (, )][DBLP ] Cooperative Behaviors Description for Self-* Systems Implementation. [Citation Graph (, )][DBLP ] Search in 0.066secs, Finished in 0.073secs