Publications

[ Journal Papers] [ Conference Papers] [Home]

Journal Papers

  1. Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
    Probabilistic Coverage Methods in People-Centric Sensing, Journal of Information Processing (to appear).
  2. Ahmed, A., Yasumoto, K., Ito, M., Shibata, N., Kitani, T.:
    HDAR: Highly Distributed Adaptive Service Replication for MANETs,
    IEICE Trans. on Information and Systems, Vol. E94-D, No. 1, pp. 91-103 (2011-01).
  3. Maeda, K., Uchiyama, A., Umedu, T., Yamaguchi, H., Yasumoto, K. and Higashino, T.:
    Urban Pedestrian Mobility for Mobile Wireless Network Simulation,
    Int'l. J. on Ad hoc Networks, Vol. 7, No. 1, pp. 153-170, Elsevier (2009).
  4. Tachibana, T., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
    Proposal of flexible implementation of genetic algorithms on FPGAs,
    Systems and Computers in Japan, Vol. 38, No. 13, pp. 28-38 (Nov. 2007).
  5. Shiraishi, T., Nagata, M., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
    A Personal Navigation System with Functions to Compose Tour Schedules based on Multiple Conflicting Criteria,
    IPSJ Digital Courier, Vol.1, pp. 528-536 (Nov. 2005).
  6. Yasumoto, K., Umedu, T., Yamaguchi, H., Nakata, A. and Higashino, T.:
    Protocol animation based on event-driven visualization scenarios in real-time LOTOS,
    Computer Networks , Vol. 40, No. 5, pp. 639-663 (Dec. 2002) ( pdf).
  7. Umedu, T., Yamaguchi, H., Yasumoto, K., Nakata, A. and Higashino, T.:
    A Constraint-Oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries,
    ACIS Int'l. Journal of Computer & Information Science , Vol. 3, No. 2, pp. 125-136 (Jun. 2002).
  8. Yasumoto, K., Higashino, T. and Taniguchi, K. :
    A compiler to implement LOTOS specifications in distributed environments,
    Computer Networks , Vol. 36, No. 2-3, pp. 291-310 (June 2001) ( pdf).
  9. Kitajima, A., Yasumoto, K., Higashino, T. and Taniguchi, K. :
    Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS,
    IEICE Trans. on Fundamentals, Vol. E82-A, No. 3, pp. 487 - 494 (Mar. 1999) ( pdf ).
  10. Kitajima, A., Yasumoto, K., Higashino, T. and Taniguchi, K. :
    A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit,
    IEICE Trans. on Fundamentals, Vol. E81-A, No. 4, pp. 566 - 575 (April 1998) ( pdf ).
  11. Yasumoto, K. Higashino, T., Matsuura, T. and Taniguchi, K. :
    PROSPEX : A Graphical LOTOS Simulator for Protocol Specifications with N Nodes,
    IEICE Trans. on Communications , Vol. E75-B, No. 10, pp.1015 - 1023 (Oct. 1992) ( pdf ).

Conference Papers

  1. Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
    Distance and Time Based Node Selection for Probabilistic Coverage in People-Centric Sensing, Proc. of IEEE SECON 2011, pp. 134-142 (Jun. 2011).
  2. Nagataki, H., Noguchi, K., Katsuma, R., Yamauchi, Y., Shibata, N., Yasumoto, K., Ito, M.:
    A Distance Learning System with Customizable Screen Layouts for Multiple Learning Situations,
    Proc. of the 3rd Int'l. Conf. on Computer Supported Education (CSEDU 2011) (May 2011).
  3. Yasumoto, K., Nunokawa, Y., Sun, W., Ito, M.:
    Improving Mobile Terrestrial TV Playback Quality with Cooperative Streaming in MANET,
    Proc. of IEEE WCNC 2011, pp. 2101-2106 (Mar. 2011).
  4. Yamamoto, S., Kouyama, N., Yasumoto, K., Ito, M.:
    Maximizing Users Comfort Levels through User Preference Estimation in Public Smartspaces,
    Proc. of 7th IEEE Int'l. Workshop on PervasivE Learning, Life, and Leisure (PerEL 2011), pp. 187-192 (Mar. 2011).
  5. Mizumoto, T., Sun, W., Yasumoto, K., Ito, M.:
    Transportation Scheduling Method for Patients in MCI using Electronic Triage Tag,
    Proc. of 3rd Int'l. Conf. on eHealth, Telemedicine, and Social Medicine (eTELEMED 2011), pp. 156-163 (Feb. 2011).
  6. Takamatsu, Y., Sun, W., Yamauchi, Y., Yasumoto, K., Ito, M.:
    Energy-Aware Cooperative Download Method among Bluetooth-Ready Mobile Phone Users,
    Proc. of the 7th Int'l. ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010), pp. 1-6 (Dec. 2010).
  7. Ahmed, A., Yasumoto, K., Yamauchi, Y., Ito, M.:
    Probabilistic Coverage in People-Centric Sensing,
    Poster Session in IEEE ICNP 2010, pp. 1-2 (Oct. 2010).
  8. Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    Constructing Robust k-covered WSN with Multiple Data Collection Trees,
    Poster Session in IEEE ICNP 2010, pp. 1-2 (Oct. 2010). (received Best Poster Award)
  9. Marc T. Kouakou, Shinya Yamamoto, Keiichi Yasumoto, Minoru Ito:
    Deployment planning tool for indoor 3D-WSNs, Adjunct Proceedings of UbiComp 2010, Demo, pp. 369-370 (Sep. 2010).
  10. Ishimaru, Y., Sun, W., Yasumoto, K., Ito, M.:
    DTN-based Delivery of Word-of-Mouth Information with Priority and Deadline,
    Proc. of 5th Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU2010), pp. 179-185 (Apr. 2010).
  11. Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    Extending k-Coverage Lifetime of Wireless Sensor Networks with Surplus Nodes,
    Proc. of 5th Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU2010), pp. 9-16 (Apr. 2010).
  12. Kiyokawa, K., Yamamoto, S., Shibata, N., Yasumoto, K., Ito, M.:
    UbiREMOTE: Framework for Remotely Controlling Networked Appliances through Interaction with 3D Virtual Space,
    Proc. of ACM Multimedia Systems 2010 (MMSys2010), pp.271-280 (Feb. 2010).
  13. Kotani, K., Sun, W., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.:
    Inter-Vehicle Communication Protocol for Cooperatively Capturing and Sharing Intersection Video,
    Proc. of 2nd IEEE Intelligent Vehicular Communications System Workshop (IVCS'10), pp. 1-5 (Jan. 2010).
  14. Nakamura, M., Kitani, T., Sun, W., Shibata, N., Yasumoto, K., Ito, M.:
    A Method for Improving Data Delivery Efficiency in Delay Tolerant VANET with Scheduled Routes of Cars,
    Proc. of 2nd IEEE Intelligent Vehicular Communications System Workshop (IVCS'10), pp. 1-5 (Jan. 2010).
  15. Matsumoto, K., Katsuma, R., Shibata, N., Yasumoto, K., Ito, M.:
    Minimizing Localization Cost with Mobile Anchor in Underwater Sensor Networks,
    Proc. of 4th ACM Int'l. Workshop on UnderWater Networks (WUWNet 2009), Article No. 14 (Nov. 2009).
  16. Sun, W., Yamaguchi, H., Yasumoto, K., Ito, M.:
    Range-based Localization for Estimating Pedestrian Trajectory in Intersection with Roadside Anchors,
    Proc. of 1st IEEE Vehicular Networking Conference (VNC 2009), pp. 1-8 (Oct. 2009).
  17. Ahmed, A., Yasumoto, K., Shibata, N., Kitani, T., Ito, M.:
    DAR: Distributed Adaptive Service Replication for MANETs,
    Proc. of the 5th IEEE Int'l. Conf. on Wireless and Mobile Computing, Networking and Communications (WiMob'2009), pp. 91-97 (Oct. 2009).
  18. Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    Extending k-Coverage Lifetime of Wireless Sensor Networks Using Mobile Sensor Nodes,
    Proc. of the 5th IEEE Int'l. Conf. on Wireless and Mobile Computing, Networking and Communications (WiMob'2009), pp. 48-54 (Oct. 2009).
  19. Wu, B., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    A Method for Composing Tour Schedules Adaptive to Weather Change,
    Proc. of 2009 IEEE Intelligent Vehicles Symposium (IV'09), pp. 1407-1412 (Jun. 2009).
  20. Naoya Kouyama, Kota Kiyokawa, Shinya Yamamoto, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito:
    A Support Tool for Developing Smart-space Applications with 3D Virtual Space, Adjunct Proc. of Pervasive2009, Demo: No. 15, pp. 233-236 (May 2009).
  21. Hanano, H., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    Video Ads Dissemination through WiFi-Cellular Hybrid Networks ,
    Proc. of the 2009 IEEE International Conference on Pervasive Computing and Communications (PerCom2009), pp. 322-327 (Mar. 2009).
  22. Sawa, Y., Kitani, T., Shibata, N., Yasumoto, K., Ito, M.:
    A Method for Pedestrian Position Estimation using Inter-Vehicle Communication,
    Proc. of the 3rd IEEE Workshop on Automotive Networking and Applications (AutoNet 2008)(Dec. 2008).
  23. Kuroiwa, S., Murata, Y., Kitani, Y., Yasumoto, K., Ito, M.:
    A Method for Assigning Men and Women with Good Affinity to Matchmaking Parties through Interactive Evolutionary Computation,
    Proc. of the 7th Int'l. Conf. on Simulated Evolution And Learning (SEAL'08), pp. 645-655 (Dec. 2008).
  24. Matsuda, T., Shibata, N., Yasumoto, K., and Ito, M.:
    Framework for Virtual Collaboration Emphasized by Awareness Information and Asynchronous Interaction,
    Proc. of 2008 IEEE Int'l. Conf. on Multimedia and Expo (ICME2008), pp. 997-1000 (June 2008).
  25. Tamai, M., Wu, W., Nahrstedt, K., and Yasumoto, K.:
    A View Control Interface for 3D Tele-immersive Environments,
    Proc. of 2008 IEEE Int'l. Conf. on Multimedia and Expo (ICME2008), pp. 1101-1104 (June 2008).
  26. Tamai, M., Yasumoto, K., Shibata, N., Ito, M., and Nahrstedt, K.:
    Transcasting: Cost-Efficient Video Multicast for Heterogeneous Mobile Terminals,
    Proc. of 16th International Workshop on Quality of Service (IWQoS2008), pp. 171-180 (June 2008).
  27. Maeda, K., Nakata, K., Umedu, T., Yamaguchi, H., Yasumoto, K., and Higashino, T.:
    Hybrid Testbed Enabling Run-time Operations for Wireless Applications,
    Proc. of 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008), pp. 135-143 (June 2008).
  28. Yamamoto, S., Murata, S., Shibata, N., Yasumoto, K., Ito, M:
    QoS Adaptation in Streaming 3D Graphics for FAIRVIEW, Proc. of 18th ACM Int'l. Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV2008), pp. 125-126 (June 2008).
  29. Kitani, T., Shinkawa, T., Shibata, N., Yasumoto, K., Ito, M., and Higashino, T.:
    Efficient VANET-based Traffic Information Sharing using Buses on Regular Routes,
    Proc. of 2008 IEEE 67th Vehicular Technology Conference (VTC2008-Spring), pp. 3031-3036 (May 2008).
  30. Katsuma, R., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
    Maximizing Lifetime of Wireless Sensor Networks with Mobile Sensor Nodes,
    Proc. of Int'l. Workshop on Sensor Network Technologies for Information Explosion Era (SeNTIE2008), pp. 141-148 (Apr. 2008).
  31. Shibata, N., Yasumoto, K., and Mori, M.:
    P2P Video Broadcast based on Per-Peer Transcoding and its Evaluation on PlanetLab,
    Proc. of 19th IASTED Int'l. Conf. on Parallel and Distributed Computing and Systems (PDCS2007) (Nov. 2007).
  32. Kuriyama, H., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
    Congestion Alleviation Scheduling Technique for Car Drivers Based on Prediction of Future Congestion on Roads and Spots,
    Proc. of 10th IEEE Int'l. Conf. on Intelligent Transportation Systems (ITSC'07), pp. 910-915 (Sept. 2007).
  33. Yamamoto, S., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
    QoS Adaptation for Realizing Interaction between Virtual and Real Worlds in Pervasive Network Environment
    , Proc. of 17th ACM Int'l. Workshop on Network and Operating Systems Support for Digital Audio & Video (NOSSDAV2007), pp. 119-124 (Jun. 2007).
  34. Takashima, E., Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
    A Method for Distributed Computation of Semi-Optimal Multicast Tree in MANET,
    Proc. of 2007 IEEE Wireless Communications and Networking Conference (WCNC 2007), CD-ROM (Mar. 2007).
  35. Uyama, K., Tamai, M., Murata, Y., Shibata, N., Yasumoto, K., and Ito, M.:
    A Delivery Method for Compound Video Playback in Wireless Network,
    Proc. of 2006 Int'l. Workshop on Parallel and Distributed Multimedia Computing (ParDMCom-06), LNCS4331, pp.803-812 (Dec. 2006).
  36. Izaiku, T. Yamamoto, S., Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
    Cheat Detection for MMORPG on P2P Environments,
    Proc. of the 5th Workshop on Network and System Support for Games (NetGames2006), CD-ROM (Oct. 2006).
  37. Kinoshita, T., Nagata, M., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
    A Personal Navigation System for Sightseeing across Multiple Days,
    Proc. of the 3rd Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU2006), pp. 254-259 (Oct. 2006).
  38. Nagata, M., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
    A method to plan group tours with joining and forking,
    Proc. of the 6th Int'l. Conf. on Simulated Evolution And Learning (SEAL2006), pp. 881-888 (Oct. 2006) .
  39. Tamai, M., Shibata, N., Yasumoto, K. and Ito, M.:
    Network Simulation Architecture for Smartspace,
    Proc. of 2006 System Support for Ubiquitous Computing Workshop (UbiSys2006) (Sep. 2006).
  40. Nishikawa, H., Yamamoto, S., Tamai, M., Nishigaki, K., Kitani, T., Shibata, N., Yasumoto, K., and Ito, M.:
    UbiREAL: Realistic Smartspace Simulator for Systematic Testing,
    Proc. of the 8th Int'l Conf. on Ubiquitous Computing (UbiComp2006), LNCS4206, pp. 459-476 (Sep. 2006).
  41. Shibata, N., Terauchi, T., Kitani, T., Yasumoto, K., Ito, M., Higashino, T.:
    A Method for Sharing Traffic Jam Information Using Inter-Vehicle Communication,
    Proc. of the 2nd Int'l. Workshop on Vehicle-to-Vehicle Communications (V2VCOM2006) (Mobiquitous2006 Workshop) (July 2006) (invited paper).
  42. Tachibana, T., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    Hardware Implementation Method of Multi-Objective Genetic Algorithms,
    Proc. of 2006 IEEE Congress on Evolutionary Computation (CEC2006) (Jul. 2006).
  43. Enomoto, M., Shibata, N., Yasumoto, K., Ito, M., Higashino, T.:
    A Demand-oriented Information Retrieval Method on MANET,
    Proc. of 2006 IEEE Int'l Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT2006) (MDM2006 Workshop) (May 2006) ( pdf ).
  44. Shinkawa, T., Terauchi, T., Kitani, T., Shibata, N., Yasumoto, K., Ito, M., Higashino, T.:
    A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying,
    Proc. of 2006 IEEE Int'l Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT2006) (MDM2006 Workshop) (May 2006) ( pdf ).
  45. Maeda, K., Umedu, T., Yamaguchi, H., Yasumoto, K., and Higashino, T.:
    MobiREAL: Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility,
    Proc. of 7th IEEE Int'l. Conf. on Mobile Data Management (MDM2006), (Demo paper) (May 2006).
  46. Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito, M.:
    Demonstration of a Cellular Phone Application based on Context-Aware Group Formation,
    Proc. of 7th IEEE Int'l. Conf. on Mobile Data Management (MDM2006), (Demo paper) (May 2006).
  47. Tamai, M., Shibata, N., Yasumoto, K., Ito, M.:
    An Energy-Aware Video Streaming System for Portable Computing Devices,
    Proc. of 7th IEEE Int'l. Conf. on Mobile Data Management (MDM2006), (Demo paper) (May 2006).
  48. Tachibana, T., Murata, Y., Shibata, N., Yasumoto, K., Ito, M.:
    General Architecture for Hardware Implementation of Genetic Algorithm,
    Proc. of 14th IEEE Symp. on Field-Programmable Custom Computing Machines (FCCM2006) (Apr. 2006).
  49. Uchiyama, A., Umedu, T., Yasumoto, K. and Higashino, T.:
    Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation,
    Proc. of 10th IEEE/IFIP Network Operations and Management Symposium (NOMS2006) (Apr. 2006).
  50. Sun, T., Tamai, M., Yasumoto, M., Shibata, N., Ito, M. and Mori, M.:
    MTcast: Robust and Efficient P2P-based Video Delivery for Heterogeneous Users,
    Proc. of 9th Int'l. Conf. on Principles of Distributed Systems (OPODIS2005) (Dec. 2005).
  51. Yamaoka, S., Sun, T., Tamai, M., Yasumoto, K., Shibata, N. and Ito, M.:
    Resource-Aware Service Composition for Video Multicast to Heterogeneous Mobile Users,
    Proc. of 1st ACM Int'l. Workshop on Multimedia Service Composition (MSC'05) (ACM Multimedia 2005 Workshop), pp. 37-46 (Nov. 2005).
  52. Yamamoto, S., Murata, Y., Yasumoto, K., and Ito, M.:
    A Distributed Event Delivery Method with Load Balancing for MMORPG,
    Proc. of 4th ACM Workshop on Network and System Support for Games (NetGames2005) (Oct. 2005).
  53. Maeda, K., Sato, K., Konishi, K., Yamasaki, A., Uchiyama, A., Yamaguchi, H., Yasumoto K., and Higashino, T.:
    Getting Urban Pedestrian Flow from Simple Observation: Realistic Mobility Generation in Wireless Network Simulation,
    Proc. of 8th ACM/IEEE Int'l. Symp. on Modeling, Analysis and Simulation of Wireless and Mobile Systems(MSWiM2005), pp. 151-158 (Oct. 2005).
  54. Konishi, K., Maeda, K., Sato, K., Yamasaki, A., Yamaguchi, H., Yasumoto, K. and Higashino, T.:
    MobiREAL Simulator - Evaluating MANET Applications in Real Environments -,
    Proc. of 13th IEEE Int'l. Symp. on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS2005), pp. 499-502 (Sep. 2005).
  55. Yasumoto, K. and Nahrstedt, K.:
    RAVITAS: Realistic Voice Chat Framework for Cooperative Virtual Spaces,
    Proc. of 2005 IEEE Int'l. Conf. on Multimedia and Expo (ICME2005), CD-ROM (July 2005).
  56. Nishigaki, K., Yasumoto, K., Shibata, N., Ito, M., Higashino, T.:
    Framework and Rule-based Language for Facilitating Context-aware Computing using Information Appliances,
    Proc. of 1st Int'l. Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI'05) (ICDCS'05 Workshop), pp. 345-351 (June 2005).
  57. Tamai, M., Shibata, N., Yasumoto, K. and Ito, M.:
    Distributed Market Broker Architecture for Resource Aggregation in Grid Computing Environments,
    Proc. of 2005 IEEE Int'l. Symp. on Cluster Computing and the Grid (CCGrid2005), CD-ROM (May 2005).
  58. Uchiyama, A., Umedu, T., Yasumoto, K. and Higashino, T.:
    FLEXA: Distributed and Flexible Network Monitoring with Autonomous Group Formation,
    Proc. of the 9th IFIP/IEEE Int'l. Symp. on Integrated Network Management (IM2005), No.1, pp. 1209-1212 (May 2005).
  59. Shiraishi, T., Nagata, M., Shibata, N., Murata, Y, Yasumoto, K. and Ito, M.:
    A Personal Navigation System with a Schedule Planning Facility Based on Multi-Objective Criteria ,
    Proc. of 2nd Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU 2005), pp. 104-109 (April 2005).
  60. Higashino, T., Yamaguchi, H., Yasumoto, K. and Shimada, K.:
    Toward Future Innovation of Mobile Communication Systems - Current Requirements for Research -,
    Proc. of 2nd Int'l. Conf. on Mobile Computing and Ubiquitous Networking (ICMU 2005), pp. 2-7 (April 2005) (invited paper).
  61. Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A. and Higashino, T.:
    A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems,
    Proc. of 25th IEEE Int'l. Real-Time Systems Symposium (RTSS 2004), pp. 437-446 (Dec. 2004) ( pdf ).
  62. Maruyama, A., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
    P-Tour: A Personal Navigation System for Tourism ,
    Proc. of 11th World Congress on ITS (Oct. 2004) ( pdf ).
  63. Tamai, M., Sun, T., Yasumoto, K., Shibata, N. and Ito, M.:
    Energy-aware Video Streaming with QoS Control for Portable Computing Devices, ,
    Proc. of the 14th ACM Int'l. Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV2004) , pp. 68-73 (Jun. 2004) ( pdf ).
  64. Tamai, M., Sun, T., Yasumoto, K., Shibata, N. and Ito, M.:
    Energy-aware QoS Adaptation for Streaming Video based on MPEG-7,
    Proc. of 2004 IEEE Int'l. Conf. on Multimedia and Expo (ICME2004) (Jun. 2004) ( pdf ).
  65. Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito, M.:
    Middleware Providing Group Communication Facility Based on Multi-way Synchronization for Cellular Phone Applications,
    Proc. of the 4th Int'l. Workshop on Smart Appliances and Wearable Computing (IWSAWC 2004), pp. 434-437 (Mar 2004) ( pdf ).
  66. Maruyama, A., Shibata, N., Murata, Y., Yasumoto, K. and Ito, M.:
    A Personal Tourism Navigation System to Support Traveling Multiple Destinations with Time Restrictions ,
    Proc. of the 18th Int'l. Conf. on Advanced Information Networking and Applications (AINA 2004), pp.18-21 (Mar 2004) ( pdf ).
  67. Nishigaki, K., Yasumoto, K., Umedu, T., Higashino, T. and Ito, M.:
    Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications,
    Proc. of the 2004 IEEE Int'l. Conf. on Mobile Data Management (MDM2004), p. 170 (Jan. 2004) ( poster , full version ).
  68. Yamashita, T., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    Emma Middleware: An Application-level Multicast Infrastructure for Multi-party Video Communication,
    Proc. of the 15th IASTED Int'l. Conf. on Parallel and Distributed Computing and Systems (PDCS2003), pp. 416-421 (Nov. 2003).
  69. Tamai, M., Yasumoto, K., Shibata, N. and Ito, M.:
    Low Power Video Streaming for PDAs ,
    Proc. of the 8th Int'l. Workshop on Mobile Multimedia Communications (MoMuC2003), pp. 31-36 (Oct. 2003) ( pdf ).
  70. Sun, T., Yasumoto, K., Mori, M., Higashino, T.:
    QoS Functional Testing for Multi-media Systems ,
    Proc. of the 23rd IFIP Int'l. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE2003), LNCS2767, pp. 319-334 (Sept. 2003) ( pdf ).
  71. Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino, T.:
    Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking ,
    Proc. of the 13th Int'l. Conf. on Field Programmable Logic and Applications (FPL2003), LNCS2778, pp. 1145-1148 (Sept. 2003) ( pdf ).
  72. Nakamura, Y., Yamaguchi, H., Hiromori, A., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    On Designing End-user Multicast for Multiple Video Sources ,
    Proc. of the 2003 IEEE Int'l. Conf. on Multimedia & Expo (ICME2003), Vol. III, pp.497-500 (Jul. 2003).
  73. Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    Reducing the Size of Routing Tables for Large-scale Network Simulation ,
    Proc. of Workshop on Parallel and Distributed Simulation (PADS2003), pp.115-122 (Jun 2003).
  74. Yamaguchi, H. Letan, C.M., Hiromori, A. Yamashita, T., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications ,
    Proc. of the 5th Int'l. Workshop on Multimedia Network Systems and Applications (MNSA2003), pp. 531-536 (May 2003).
  75. Sun, T., Yasumoto, K. and Mori, M.:
    A Method for QoS Functional Testing in Distributed Multi-media Systems ,
    Proc. of the 1st Int'l. Conf. on Information Technology and Applications (ICITA2002) (Nov. 2002) ( pdf ).
  76. Umedu, T., Yasumoto, K., Nakata, A., Yamaguchi, H. and Higashino, T.:
    Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks ,
    Proc. of IASTED Int'l. Conf. on Communications and Computer Networks (CCN2002), pp. 48-53 (Nov. 2002) ( pdf ).
  77. Murata, Y., Shibata, N., Yasumoto, K. and Ito, M.:
    Agent Oriented Self Adaptive Genetic Algorithm ,
    Proc. of IASTED Int'l. Conf. on Communications and Computer Networks (CCN2002), pp.348-353 (Nov. 2002) ( pdf ).
  78. Kirimura, M., Takamoto, Y., Mori, T., Yasumoto, K., Nakata, A. and Higashino, T.:
    Design and Implementation of FPGA Circuits for High Speed Network Monitors ,
    Proc. of 12th Int'l. Conf. on Field Programmable Logic and Application (FPL2002), LNCS2438 , pp. 393-403 (Sept. 2002) ( pdf ).
  79. Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    A Selection Technique for Replicated Multicast Video Servers ,
    Proc. of the 2002 Int'l. Conf. on Parallel Processing (ICPP-02) , pp. 556-563 (Aug. 2002).
  80. Umedu, T., Terashima, T., Yasumoto, K., Nakata, A., Higashino, T. and Taniguchi, K.:
    A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels ,
    Proc. of Int'l. Symp. of Formal Methods Europe (FME2002), LNCS2391 , pp.607-624 (Jul. 2002) ( pdf ).
  81. Higashino, T., Yamaguchi, Y., Nakata, A. and Yasumoto, K.:
    Perspectives in Developing Distributed Cooperative Systems ,
    Proc. of 2nd Int'l. Conf. on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01) , pp. xi-xix (Aug. 2001) (invited paper).
  82. Umedu, T., Yamaguchi, H., Yasumoto, K. and Higashino, T. :
    Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries ,
    Proc. of 2nd Int'l. Conf. on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01) , pp. 584-591 (Aug. 2001).
  83. Hiromori, A., Yamashita, T., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K.:
    Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video ,
    Proc. of 2nd Int'l. Conf. on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01) , pp. 540-547 (Aug. 2001).
  84. Umedu, T., Yamaguchi, H., Yasumoto, K. and Higashino, T. :
    Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment ,
    Proc. of 15th Int'l. Conf. on Information Networking (ICOIN-15) , pp. 163-170 (Jan. 2001).
  85. Hiromori, A., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K. :
    Fast and Optimal Multicast-Server Selection Based on Receivers' Preference ,
    Proc. of 7th Int'l. Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS2000), LNCS 1905 , pp. 40-52 (Oct. 2000).
  86. Katagiri, H., Kirimura, M., Yasumoto, K., Higashino, and Taniguchi, K. :
    Hardware Implementation of Concurrent Periodic EFSMs ,
    Proc. of Joint Int'l. Conf. on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE/PSTV2000) , pp. 285 - 300 (Oct. 2000) ( pdf ).
  87. Terashima, Y., Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and Taniguchi, K. :
    Extension of SMIL with QoS Control and its Implementation ,
    Proc. of 1st IEEE Int'l. Conf. on Multimedia and Expo (ICME2000), (Jul. 2000) ( pdf ).
  88. Terashima, Y., Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and Taniguchi, K. :
    Integration of QoS Guarantees into SMIL and its Flexible Implementation ,
    Proc. of 8th IFIP Int'l. Workshop on Quality of Service (IWQoS2000), pp. 164-166 (Jun. 2000) ( pdf , full version).
  89. Katagiri, H., Yasumoto, K., Kitajima, A., Higashino, T. and Taniguchi, K. :
    Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization ,
    Proc. of 37th Design Automation Conf. (DAC-2000), pp. 762-767 (Jun. 2000) ( pdf ).
  90. Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K. :
    Receiver-Cooperative Bandwidth Management for Layered Multicast ,
    Proc. of 1999 IEEE Int'l. Conf. on Network Protocols (ICNP-99), pp.43-50 (Nov. 1999).
  91. Yasumoto, K., Kitajima, A., Higashino, T. and Taniguchi, K. :
    Hardware synthesis from protocol specifications in LOTOS ,
    Proc. of 1998 IFIP Joint Int'l. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV'98), pp. 405-420 (Nov. 1998) ( pdf ).
  92. Sakate, H., Yamaguchi, H., Yasumoto, K., Higashino, T. and Taniguchi, K. :
    Resource Management for Quality of Service Guarantees in Multi-party Multimedia Application ,
    Proc. of 1998 IEEE Int'l. Conf. on Network Protocols (ICNP-98), pp. 189-196 (Oct. 1998).
  93. Abe, K., Matsuura, T., Yasumoto, K. and Higashino, T. :
    Design and Implementation of an Efficient I/O Method for a Real-time User Level Thread Library ,
    Proc. of 5th Int'l. Conf on Real-Time Computing Systems and Applications (RTCSA'98), pp. 117-120 (Oct. 1998)
  94. Yasumoto, K., Gotoh, K., Tatsumoto, H., Higashino, T. and Taniguchi, K. :
    Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks ,
    Proc. of 1997 IFIP Joint Int'l. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV'97) , pp. 161-176 (Nov. 1997) ( pdf ).
  95. Yasumoto, K., Higashino, T., Matsuura, T. and Taniguchi, K. :
    Protocol Visualization using LOTOS Multi-Rendezvous Mechanism ,
    Proc. of 1995 IEEE Int'l. Conf. on Network Protocols (ICNP-95) , pp. 118-125 (Nov. 1995) ( pdf ).
  96. Yasumoto, K., Higashino, T., Abe, K., Matsuura, T. and Taniguchi, K. :
    A LOTOS Compiler Generating Multi-threaded Object Codes ,
    Proc. of 8th IFIP Int'l. Conf. on Formal Description Techniques (FORTE'95) , pp.271-286 (Oct. 1995) ( pdf ).
  97. Higashino, T., Yasumoto, K., Kitamichi, J. and Taniguchi, K. :
    Hardware Synthesis from a Restricted Class of LOTOS Expressions ,
    Proc. of 14th IFIP Int'l. Symp. on Protocol Specification, Testing, and Verification (PSTV-XIV), pp.355-362 (June 1994).
  98. Yasumoto, K., Higashino, T. and Taniguchi, K. :
    Software Process Description using LOTOS and Its Enaction ,
    Proc. of IEEE 16th Int'l. Conf. on Software Engineering (ICSE-16) , pp.169-178 (May 1994) ( pdf ).
  99. Higashino, T., Bochmann, G. v., Li, X., Yasumoto, K. and Taniguchi, K. :
    A Test System for a Restricted Class of LOTOS Expressions with Data Parameters ,
    Proc. of 5th IFIP Int'l. Workshop on Protocol Test Systems (IWPTS'92) , pp. 205-216 (Sept. 1992).