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

Search the dblp DataBase

Title:
Author:
Yoshiaki Kakuda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno
    Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 1998, pp:408-412 [Conf]
  2. Juichi Takahashi, Yoshiaki Kakuda
    Effective Automated Testing: A Solution of Graphical Object Verification. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 2002, pp:284-0 [Conf]
  3. Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno
    A New Model with Time Constraints for Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 1996, pp:269-0 [Conf]
  4. Juichi Takahashi, Yoshiaki Kakuda
    Extended Model-Based Testing toward High Code Coverage Rate. [Citation Graph (0, 0)][DBLP]
    ECSQ, 2002, pp:310-320 [Conf]
  5. Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta
    A Dynamic Resolution Method for Feature Interactions and Its Evaluation. [Citation Graph (0, 0)][DBLP]
    FIW, 1995, pp:97-114 [Conf]
  6. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:138-152 [Conf]
  7. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    Feature Interaction Detection Using Permutation Symmetry. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:187-201 [Conf]
  8. Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno
    Application of protocol sythesis technique to resolution of the service interaction problem. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:379-381 [Conf]
  9. Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda
    Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:511-526 [Conf]
  10. Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno
    Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:66-75 [Conf]
  11. Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda
    Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:143-150 [Conf]
  12. Juichi Takahashi, Yoshiaki Kakuda
    Extended-Model Based Testing by Directed Chinese Postman Algorithm. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:237-239 [Conf]
  13. Megumi Hisayuki, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda, Kuniyasu Suzaki
    Adaptable Load Balancing Using Network Transferable Computer Associated with Mobile IP. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:8-13 [Conf]
  14. Megumi Hisayuki, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda, Kuniyasu Suzaki
    Dynamic Load Balancing Using Network Transferable Computer. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2005, pp:51-57 [Conf]
  15. Hiroshi Nakagawa, Kenji Ishida, Tomoyuki Ohta, Yoshiaki Kakuda
    GOLI: Greedy On-Demand Routing Scheme Using Location Information for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2006, pp:1- [Conf]
  16. Tomoyuki Ohta, Shinji Inoue, Yoshiaki Kakuda, Kenji Ishida, Kaori Maeda
    An Adaptive Maintenance of Hierarchical Structure in Ad Hoc Networks and Its Evaluation. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:7-13 [Conf]
  17. Takashi Oka, Shinji Inoue, Yoshiaki Kakuda
    An Adaptive Automobile Control System Using Scheduling by Imprecise Computation and Multiagent-Based Traffic Information Exchange and Its Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:610-615 [Conf]
  18. Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1997, pp:96-105 [Conf]
  19. Shinji Inoue, Yoshiaki Kakuda
    Multiple Backup Virtual Paths Reservation Problem and Its Solution. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:122-0 [Conf]
  20. Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe
    VP Reservation for Rapid Restoration Using Multiagents. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1998, pp:121-128 [Conf]
  21. Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda
    A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:210-217 [Conf]
  22. Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno
    A routing protocol for finding two node-disjoint paths in computer networks. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:340-0 [Conf]
  23. Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno
    Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    ICNP, 1996, pp:92-0 [Conf]
  24. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1996, pp:1157-1164 [Conf]
  25. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1997, pp:1253-1260 [Conf]
  26. Tomoyuki Ohta, Shinji Inoue, Yoshiaki Kakuda
    An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ISADS, 2003, pp:293-0 [Conf]
  27. Naoyoshi Murakami, Tomoyuki Ohta, Yoshiaki Kakuda
    Effective division and merger of the autonomous clustering scheme for highly mobile large ad hoc networks. [Citation Graph (0, 0)][DBLP]
    ISCAS (3), 2005, pp:2967-2970 [Conf]
  28. Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno
    Experience of Responsiveness Verification for Connection Establishment Protocols. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:383-0 [Conf]
  29. Xuefeng Bai, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito
    A Service Discovery Protocol for Mobile Ad Hoc Networks Based on Service Provision Groups and Their Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP]
    MSN, 2005, pp:164-174 [Conf]
  30. Atsushi Kawano, Daisuke Oka, Yasunori Kubo, Shinji Yamashita, Kaori Maeda, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda
    A Topology Controllable Testing Environment for Mobile Ad Hoc Network Software. [Citation Graph (0, 0)][DBLP]
    MSN, 2006, pp:808-819 [Conf]
  31. Yoshiaki Kakuda, Kenji Ishida, Shinji Inoue, Kitsutaro Amano
    Resource Reservation for Multicast Trees Using Multiagents. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1998, pp:110-116 [Conf]
  32. Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno
    A new fault-tolerant scheduling technique for real-time multiprocessor systems. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1995, pp:197-202 [Conf]
  33. Atsushi Ito, Tomoyuki Ohta, Kouichi Mitsukawa, Yoshiaki Kakuda
    An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:697-704 [Conf]
  34. Takashi Kishida, Kaori Maeda, Eitaro Kohno, Yoshiaki Kakuda
    An Application Gateway to Deploy High-quality Video Communications in Various Network Environments. [Citation Graph (0, 0)][DBLP]
    SAINT Workshops, 2006, pp:26-29 [Conf]
  35. Yoshiaki Kakuda, Kanako Suezawa, Shinji Inoue, Hidenori Nakazato
    Redundant Optical Path Design Based on Multiagents and Its Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:144-0 [Conf]
  36. Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
    On constructing communication protocols from component-based service specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1200-1215 [Journal]
  37. Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno
    Localizing Multiple Faults in a Protocol Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 1995, v:12, n:3, pp:34-42 [Journal]
  38. Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano
    A protocol synthesis method for fault-tolerant multipath routing. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:745-754 [Journal]
  39. Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima
    Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1994, v:7, n:3, pp:275-289 [Journal]
  40. Yasushi Wakahara, Yoshiaki Kakuda, Atsushi Ito, Eiji Utsunomiya
    Escort: An Environment for Specifying Communication Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1989, v:6, n:2, pp:38-43 [Journal]
  41. Yoshiaki Kakuda, Hironori Saito
    An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:459-467 [Journal]
  42. Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe
    An Acyclic Expansion Algorithm for Fast Protocol Validation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1059-1070 [Journal]
  43. Tomoyuki Ohta, Naoyoshi Murakami, Yoshiaki Kakuda
    Performance Evaluation of Autonomous Clustering for Hierarchical Routing Protocols in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2007, pp:56- [Conf]
  44. Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda
    State Transition Model for Test Sequence Generation of MANET Clustering Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2007, pp:55- [Conf]

  45. Mobile Agents for Service Discovery in Ad Hoc Networks. [Citation Graph (, )][DBLP]


  46. Development of Custom Selling System Using Ad Hoc Networks. [Citation Graph (, )][DBLP]


  47. Route-Split Routing with Resiliency to Simultaneous Failure for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  48. An Autonomous Clustering-Based Hierarchical Routing Using Decentralized Route Information Management Scheme for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  49. An Adaptive Inter-cluster Data Forwarding Configuration Mechanism for Hierarchical Multicast Routing Protocol in Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  50. An Adaptive Transmission Power Control for Hierarchical Routing in Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  51. A Hierarchical Multicast Routing Based on Inter-cluster Group Mesh for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  52. A study on deaf people supporting systems using cellular phone with Bluetooth in disasters. [Citation Graph (, )][DBLP]


  53. Universal Use of Information Delivery and Display System Using Ad Hoc Network for Deaf People in Times of Disaster. [Citation Graph (, )][DBLP]


  54. Enhanced Route-Split Routing Tolerant to Multiple Concurrent Link Failure for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.458secs
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