The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Teruo Higashino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, Teruo Higashino
    Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:999-1004 [Conf]
  2. Nobuo Funabiki, Ayako Sugano, Teruo Higashino
    A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks. [Citation Graph (0, 0)][DBLP]
    AINA, 2003, pp:229-232 [Conf]
  3. Masahi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino
    Evaluation of Inter-Vehicle Ad Hoc Communication Protocol. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:78-83 [Conf]
  4. Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino
    Automatic Decomposition of Java Program for Implementation on Mobile Terminals. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:544-549 [Conf]
  5. Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
    Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 1999, pp:177-180 [Conf]
  6. Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
    A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:179-195 [Conf]
  7. Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:762-767 [Conf]
  8. Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
    A real time budgeting method for module-level-pipelined bus based system using bus scenarios. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:37-42 [Conf]
  9. Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:607-624 [Conf]
  10. Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi
    Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:433-440 [Conf]
  11. Teruo Higashino, Hirozumi Yamaguchi
    A Testing Architecture for Designing High-Reliable MANET Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:20-23 [Conf]
  12. Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Hardware implementation of Concurrent Periodic EFSM's. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:285-300 [Conf]
  13. Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino
    A Method to Generate Conformance Test Sequences for FSM with Timer System Call. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:301-318 [Conf]
  14. Akio Nakata, Teruo Higashino
    Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:151-168 [Conf]
  15. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:451-466 [Conf]
  16. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:279-294 [Conf]
  17. Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino
    QoS Functional Testing for Multi-media Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:319-334 [Conf]
  18. Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
    Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:399-414 [Conf]
  19. Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
    Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:161-176 [Conf]
  20. Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
    A LOTOS Compiler Generating Multi-threaded Object Codes. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:271-286 [Conf]
  21. Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Hardware synthesis from protocol specifications in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:405-420 [Conf]
  22. Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
    Design and Implementation of FPGA Circuits for High Speed Network Monitors. [Citation Graph (0, 0)][DBLP]
    FPL, 2002, pp:393-403 [Conf]
  23. Tomoya Kitani, Yoshifumi Takamoto, Isao Naka, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
    Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. [Citation Graph (0, 0)][DBLP]
    FPL, 2003, pp:1145-1148 [Conf]
  24. Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi
    Deriving Protocol Specifications from Service Specifications in Extended FSM Models. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:141-148 [Conf]
  25. Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi
    An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2004, pp:662-669 [Conf]
  26. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:510-517 [Conf]
  27. Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino
    Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2005, pp:345-351 [Conf]
  28. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
    Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:434-437 [Conf]
  29. Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:531-536 [Conf]
  30. Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
    Extension of SMIL with QoS Control and its Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE International Conference on Multimedia and Expo (III), 2000, pp:1683-1686 [Conf]
  31. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Protocol synthesis from timed and structured specifications. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:74-0 [Conf]
  32. Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application. [Citation Graph (0, 0)][DBLP]
    ICNP, 1998, pp:189-0 [Conf]
  33. Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Receiver-Cooperative Bandwidth Management for Layered Multicast. [Citation Graph (0, 0)][DBLP]
    ICNP, 1999, pp:43-50 [Conf]
  34. Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi
    Protocol visualization using LOTOS multi-rendezvous mechanism. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:118-125 [Conf]
  35. Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli
    A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:155-162 [Conf]
  36. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino
    A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems. [Citation Graph (0, 0)][DBLP]
    ICOIN (2), 2002, pp:32-41 [Conf]
  37. Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino
    A Method for Functional Testing of Media Synchronization Protocols. [Citation Graph (0, 0)][DBLP]
    ICOIN (2), 2002, pp:539-550 [Conf]
  38. Shigeto Tajima, Masakazu Fujii, Nobuo Funabiki, Tokumi Yokohira, Kazufumi Tsunemura, Teruo Higashino
    An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems. [Citation Graph (0, 0)][DBLP]
    ICOIN (1), 2002, pp:193-202 [Conf]
  39. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
    Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. [Citation Graph (0, 0)][DBLP]
    ICOIN, 2001, pp:163-170 [Conf]
  40. Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Protocol Synthesis from Time Petri Net Based Service Specification. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1997, pp:236-243 [Conf]
  41. Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
    Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming. [Citation Graph (0, 0)][DBLP]
    ICPP, 2005, pp:41-48 [Conf]
  42. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A Selection Technique for Replicated Multicast Video Servers. [Citation Graph (0, 0)][DBLP]
    ICPP, 2002, pp:556-0 [Conf]
  43. Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
    Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. [Citation Graph (0, 0)][DBLP]
    ICPP Workshops, 1999, pp:576-581 [Conf]
  44. Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Software Process Description Using LOTOS and Its Enaction. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:169-178 [Conf]
  45. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Fast and Optimal Multicast-Server Selection Based on Receivers' Preference. [Citation Graph (0, 0)][DBLP]
    IDMS, 2000, pp:40-52 [Conf]
  46. Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda
    VTM: A Graph Editor for Large Trees. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:210-216 [Conf]
  47. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
    Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:305-308 [Conf]
  48. Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto
    MobiREAL Simulator Evaluating MANET Applications in Real Environments. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2005, pp:499-502 [Conf]
  49. Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
    Demand-Oriented Information Retrieval Method on MANET. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:104- [Conf]
  50. Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
    MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:55- [Conf]
  51. Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino
    Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:117- [Conf]
  52. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
    Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. [Citation Graph (0, 0)][DBLP]
    Mobile Data Management, 2004, pp:170- [Conf]
  53. Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito
    Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:59- [Conf]
  54. Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino
    A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:130- [Conf]
  55. Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida
    An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks. [Citation Graph (0, 0)][DBLP]
    MDM, 2006, pp:112- [Conf]
  56. Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
    Formal Verification of CPU in Laboratory Work. [Citation Graph (0, 0)][DBLP]
    MSE, 2001, pp:32-34 [Conf]
  57. Kumiko Maeda, Kazuki Sato, Kazuki Konishi, Akiko Yamasaki, Akira Uchiyama, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
    Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation. [Citation Graph (0, 0)][DBLP]
    MSWiM, 2005, pp:151-158 [Conf]
  58. Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino
    A formal approach to design optimized multimedia service overlay. [Citation Graph (0, 0)][DBLP]
    NOSSDAV, 2005, pp:57-62 [Conf]
  59. Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    Reducing the Size of Routing Tables for Large-scale Network Simulation. [Citation Graph (0, 0)][DBLP]
    PADS, 2003, pp:115-122 [Conf]
  60. Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino
    MANET Protocol for Information Gathering from Disaster Victims. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2006, pp:442-446 [Conf]
  61. Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
    Automated Verification of Equivalence of Protocol Machines. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:235-246 [Conf]
  62. Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
    Hardware synthesis from a restricted class of LOTOS expressions. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:379-386 [Conf]
  63. Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
    Test System for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:205-216 [Conf]
  64. Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
    Generating Test Cases for a Timed I/O Automaton Model. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:197-214 [Conf]
  65. Kota Abe, Toshio Matsuura, Keiichi Yasumoto, Teruo Higashino
    Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1998, pp:117-120 [Conf]
  66. Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    Protocol Synthesis from Context-Free Processes Using Event Structures. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1998, pp:173-180 [Conf]
  67. Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino
    A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:437-446 [Conf]
  68. Shigeto Tajima, Ayako Sugano, Nobuo Funabiki, Teruo Higashino
    A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks. [Citation Graph (0, 0)][DBLP]
    SAINT, 2003, pp:128-135 [Conf]
  69. Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
    Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:165-184 [Conf]
  70. Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
    A compiler to implement LOTOS specifications in distributed environments. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:2/3, pp:291-310 [Journal]
  71. Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino
    Protocol animation based on event-driven visualization scenarios in real-time LOTOS. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2002, v:40, n:5, pp:639-663 [Journal]
  72. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
    Deriving protocol specifications from service specifications written as Predicate/Transition-nets. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:1, pp:258-284 [Journal]
  73. Christian Kant, Teruo Higashino, Gregor von Bochmann
    Deriving Protocol Specifications from Service Specifications Written in LOTOS. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1996, v:10, n:1, pp:29-47 [Journal]
  74. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
    Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2003, v:16, n:1, pp:21-35 [Journal]
  75. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
    A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:833-850 [Journal]
  76. Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino
    A test sequence generation method for communication protocols using the SAT algorithm. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2003, v:34, n:11, pp:20-29 [Journal]
  77. Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
    A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2006, v:37, n:14, pp:15-24 [Journal]
  78. Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
    Symbolic model checking of extended finite state machines with linear constraints over integer variables. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2006, v:37, n:6, pp:64-72 [Journal]
  79. Takanori Mori, Akio Nakata, Teruo Higashino
    A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. [Citation Graph (0, 0)][DBLP]
    Stud. Inform. Univ., 2004, v:3, n:2, pp:231-0 [Journal]
  80. Teruo Higashino, Gregor von Bochmann
    Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:29-42 [Journal]
  81. Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
    An Algebraic Specification of HDLC Procedures and Its Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1984, v:10, n:6, pp:825-836 [Journal]
  82. Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
    Ad-hoc Localization in Urban District. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 2007, pp:2306-2310 [Conf]

  83. Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. [Citation Graph (, )][DBLP]


  84. Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. [Citation Graph (, )][DBLP]


  85. D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  86. Real-time trajectory estimation in mobile ad hoc networks. [Citation Graph (, )][DBLP]


  87. Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. [Citation Graph (, )][DBLP]


  88. Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. [Citation Graph (, )][DBLP]


  89. Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. [Citation Graph (, )][DBLP]


  90. An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). [Citation Graph (, )][DBLP]


  91. Local map generation using position and communication history of mobile nodes. [Citation Graph (, )][DBLP]


  92. Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. [Citation Graph (, )][DBLP]


  93. Self-estimation of Neighborhood Density for Mobile Wireless Nodes. [Citation Graph (, )][DBLP]


  94. Mobility-Aware Data Management on Mobile Wireless Networks. [Citation Graph (, )][DBLP]


  95. Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. [Citation Graph (, )][DBLP]


  96. Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. [Citation Graph (, )][DBLP]


  97. Realistic Mobility Aware Information Gathering in Disaster Areas. [Citation Graph (, )][DBLP]


  98. An integrated tool for development of overlay services. [Citation Graph (, )][DBLP]


  99. Urban pedestrian mobility for mobile wireless network simulation. [Citation Graph (, )][DBLP]


Search in 0.057secs, Finished in 0.060secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002