IEICE SEARCH SYSTEM

Yoshiaki KAKUDA

A Data Transfer Scheme Based on Autonomous Clustering with Positions and Moving Direction of Vehicles for VANETs Yasuharu OHTA Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2012/09/01 Vol. E95-B No. 9 pp. 2728-2739 Type of Manuscript: Special Section PAPER (Special Section on Emerging Technologies and Applications for Ad Hoc and Wireless Mesh Networks) Category: Keyword: vehicular ad-hoc networks, clustering, epidemic routing, positioning information,
	Summary \| Full Text:PDF

FOREWORD Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2012/09/01 Vol. E95-B No. 9 pp. 2681-2681 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

New Safety Support System for Children on School Routes Using Mobile Ad Hoc Networks Atsushi ITO Yoshiaki KAKUDA Tomoyuki OHTA Shinji INOUE
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2011/01/01 Vol. E94-B No. 1 pp. 18-29 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems Technologies and Their Application to Networked Systems) Category: Assurance Keyword: mobile ad hoc network, safety support system for children, Bluetooth, mobile phone,
	Summary \| Full Text:PDF

A Hierarchical Geographical Routing with Alternative Paths Using Autonomous Clustering for Mobile Ad Hoc Networks Hiroshi NAKAGAWA Satoshi TESHIMA Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2011/01/01 Vol. E94-B No. 1 pp. 37-44 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems Technologies and Their Application to Networked Systems) Category: Assurance Keyword: ad hoc networks, autonomous clustering, geographical routing,
	Summary \| Full Text:PDF

Improvement of Dependability against Node Capture Attacks for Wireless Sensor Networks Eitaro KOHNO Tomoyuki OHTA Yoshiaki KAKUDA Masaki AIDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/01/01 Vol. E94-D No. 1 pp. 19-26 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems Technologies and Their Application to Networked Systems) Category: Assurance Keyword: wireless sensor networks, security, node capture attack, secret sharing scheme, key refreshment,
	Summary \| Full Text:PDF

An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols Hideharu KOJIMA Juichi TAKAHASHI Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2009/03/01 Vol. E92-B No. 3 pp. 794-806 Type of Manuscript: Special Section PAPER (Special Section on Ad Hoc and Mesh Networking for Next Generation Access Systems) Category: Keyword: state transition testing, mobile ad hoc network protocols, network protocol testing,
	Summary \| Full Text:PDF

A Hierarchical Multicast Routing Using Inter-Cluster Group Mesh Structure for Mobile Ad Hoc Networks Izumi YAMAMOTO Kazuki OGASAWARA Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2009/01/01 Vol. E92-B No. 1 pp. 114-125 Type of Manuscript: Special Section PAPER (Special Section on Networking Technologies for Dependable Networks) Category: Keyword: ad hoc networks, multicast routing,
	Summary \| Full Text:PDF

A Hybrid Greedy Routing with Location Information for Mobile Ad Hoc Networks Hiroshi NAKAGAWA Kazuyuki NAKAMARU Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2008/09/01 Vol. E91-B No. 9 pp. 2806-2817 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems Theories and Application Deployments) Category: Ad Hoc Networks Keyword: ad hoc networks, geographical routing,
	Summary \| Full Text:PDF

Route-Split Routing Resilient to Simultaneous Failure for Mobile Ad Hoc Networks Tsuyoshi MIZUMOTO Tomoyuki OHTA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/07/01 Vol. E91-A No. 7 pp. 1625-1633 Type of Manuscript: Special Section PAPER (Special Section on Multi-dimensional Mobile Information Networks) Category: Keyword: ad hoc networks, routing, simultaneous failure,
	Summary \| Full Text:PDF

Development of a Topology Controllable Testing Environment for Mobile Ad Hoc Network Software Atsushi KAWANO Tomoyuki OHTA Kaori MAEDA Kenji ISHIDA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2007/11/01 Vol. E90-B No. 11 pp. 3104-3107 Type of Manuscript: Special Section LETTER (Special Section on Next Generation Network Management) Category: Keyword: mobile ad hoc networks, software testing,
	Summary \| Full Text:PDF

A Dynamic Index Allocation Scheme for Data Retrieval and Provision in Peer-to-Peer Networks Atsushi ITO Tomoyuki OHTA Kouichi MITSUKAWA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2006/09/01 Vol. E89-B No. 9 pp. 2336-2346 Type of Manuscript: Special Section PAPER (Special Section on Networking Technologies for Overlay Networks) Category: Keyword: peer-to-peer system, data retrieval, data provision, index allocation,
	Summary \| Full Text:PDF

An Autonomous Clustering-Based Hierarchical Multicast Routing for Mobile Ad Hoc Networks Tomoyuki OHTA Toshifumi KAWAGUCHI Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2005/12/01 Vol. E88-B No. 12 pp. 4451-4461 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems) Category: Ad hoc, Sensor Network and P2P Keyword: ad hoc networks, clustering, multicast routing,
	Summary \| Full Text:PDF

A Class of Hierarchical Routing Protocols Based on Autonomous Clustering for Large Mobile Ad Hoc Networks Tomoyuki OHTA Munehiko FUJIMOTO Ryotaro ODA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2004/09/01 Vol. E87-B No. 9 pp. 2500-2510 Type of Manuscript: Special Section PAPER (Special Section on Networking Technologies for Mobile Internet Systems) Category: Ad Hoc Network Keyword: ad hoc networks, clustering, hierarchical routing,
	Summary \| Full Text:PDF

FOREWORD Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2003/10/01 Vol. E86-B No. 10 pp. 2859-2860 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

FOREWORD Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-D No. 10 pp. 2057-2058 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

Testing for High Assurance System by FSM Juichi TAKAHASHI Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-D No. 10 pp. 2114-2120 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks) Category: Testing Keyword: software testing, high assurance system, automated testing, statistical testing, code coverage,
	Summary \| Full Text:PDF

A Hierarchical Routing Protocol Based on Autonomous Clustering in Ad Hoc Networks Tomoyuki OHTA Munehiko FUJIMOTO Shinji INOUE Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2003/10/01 Vol. E86-B No. 10 pp. 2902-2911 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks) Category: Mobile Ad Hoc Networks Keyword: ad hoc networks, hierarchical routing, clustering, autonomous decentralized systems, mobile computing,
	Summary \| Full Text:PDF

An Adaptive Multihop Clustering Scheme for Ad Hoc Networks with High Mobility Tomoyuki OHTA Shinji INOUE Yoshiaki KAKUDA Kenji ISHIDA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/07/01 Vol. E86-A No. 7 pp. 1689-1697 Type of Manuscript: Special Section PAPER (Special Section on Multi-dimensional Mobile Information Networks) Category: Keyword: ad hoc networks, clustering, autonomous decentralized systems, mobile computing,
	Summary \| Full Text:PDF

An Adaptive Scheduling for Automobile Control Using Imprecise Computation and Its Experimental Evaluation Shinji INOUE Fuminori NAKANISHI Yoshiaki KAKUDA Kenji TODA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2001/10/01 Vol. E84-B No. 10 pp. 2749-2758 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance) Category: Issues Keyword: ITS, imprecise computation, real-time system, automobile control, scheduling,
	Summary \| Full Text:PDF

Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks Shinji INOUE Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2001/06/01 Vol. E84-B No. 6 pp. 1541-1552 Type of Manuscript: Special Section PAPER (Special Issue on New Developments on QoS Technologies for Information Networks) Category: Keyword: ATM network, virtual path, multiagent, network resource saving, fault tolerance,
	Summary \| Full Text:PDF

A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks Kenji ISHIDA Yoshiaki KAKUDA Tohru KIKUNO Kitsutaro AMANO
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1999/06/20 Vol. E82-B No. 6 pp. 851-858 Type of Manuscript: Special Section PAPER (Special Issue on Distributed Processing for Controlling Telecommunications Systems) Category: Keyword: routing protocol, node-disjoint paths, kernel construction,
	Summary \| Full Text:PDF

A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/20 Vol. E81-A No. 4 pp. 596-604 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: communication protocol, responsiveness, verification, virtual system state, reachability analysis,
	Summary \| Full Text:PDF

Three-Mode Failure Model for Reliability Analysis of Distributed Programs Tatsuhiro TSUCHIYA Yoshiaki KAKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/01/20 Vol. E80-D No. 1 pp. 3-9 Type of Manuscript: Special Section PAPER (Special Issue on Fault-Tolerant Computing) Category: Distributed Systems Keyword: distributed system, distributed programs, reliability, 3-mode failure, file spanning tree,
	Summary \| Full Text:PDF

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1995/07/20 Vol. E78-D No. 7 pp. 802-810 Type of Manuscript: Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems) Category: Keyword: software testing, communication protocol, conformance testing, fault localization, test sequence,
	Summary \| Full Text:PDF

Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives Yoshiaki KAKUDA Masahide NAKAMURA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/20 Vol. E77-A No. 10 pp. 1634-1645 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol engineering, protocol synthesis, parallel execution of primitives,
	Summary \| Full Text:PDF

On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels Yoshiaki KAKUDA Yoshihiro TAKADA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/04/20 Vol. E77-A No. 4 pp. 658-667 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: computational complexity, deadlock, NP-complete, protocol, protocol validation,
	Summary \| Full Text:PDF

Synthesis of Protocol Specifications for Design of Responsive Protocols Hirotaka IGARASHI Yoshiaki KAKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/11/20 Vol. E76-D No. 11 pp. 1375-1385 Type of Manuscript: Special Section PAPER (Special Issue on Responsive Computer Systems) Category: Keyword: protocol engineering, responsive protocols, protocol synthesis, unspecified reception, checkpoint restart,
	Summary \| Full Text:PDF

FOREWORD Tohru KIKUNO Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/11/20 Vol. E76-D No. 11 pp. 1317-1318 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

Reconfiguration Algorithm for Modular Redundant Linear Array Chang CHEN An FENG Yoshiaki KAKUDA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/02/20 Vol. E76-D No. 2 pp. 210-218 Type of Manuscript: PAPER Category: Fault Tolerant Computing Keyword: fault tolerant computing, systolic array, N-modular redundancy, reconfigurable modular redundant linear array, reconfiguration algorithm,
	Summary \| Full Text:PDF

An Acyclic Expansion-Based Protocol Verification for Communications Software Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/20 Vol. E75-B No. 10 pp. 998-1007 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: communications software, communication protocol, protocol verification, finite state machine, acyclic expansion algorithm, temporal logic,
	Summary \| Full Text:PDF

A Recovery Sequence Generation System for Design of Recoverable Protocols Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1991/06/20 Vol. E74-D No. 6 pp. 1715-1727 Type of Manuscript: PAPER Category: Fault Tolerant Computing Keyword:
	Summary \| Full Text:PDF

The NP-Completeness of the Dominating Set Problem in Cubic Planer Graphs Tohru KIKUNO Noriyoshi YOSHIDA Yoshiaki KAKUDA
Publication: IEICE TRANSACTIONS (1976-1990) Publication Date: 1980/06/20 Vol. E63-E No. 6 pp. 443-444 Type of Manuscript: LETTER Category: Automata and Languages Keyword:
	Summary \| Full Text:PDF