Search the dblp DataBase
Teruo Higashino :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Teruo Higashino , Hirozumi Yamaguchi A Testing Architecture for Designing High-Reliable MANET Protocols. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:20-23 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Akio Nakata , Teruo Higashino , Kenichi Taniguchi Protocol synthesis from timed and structured specifications. [Citation Graph (0, 0)][DBLP ] ICNP, 1995, pp:74-0 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context. [Citation Graph (, )][DBLP ] Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication. [Citation Graph (, )][DBLP ] D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks. [Citation Graph (, )][DBLP ] Real-time trajectory estimation in mobile ad hoc networks. [Citation Graph (, )][DBLP ] Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs. [Citation Graph (, )][DBLP ] Hybrid Testbed Enabling Run-Time Operations for Wireless Applications. [Citation Graph (, )][DBLP ] Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices. [Citation Graph (, )][DBLP ] An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution). [Citation Graph (, )][DBLP ] Local map generation using position and communication history of mobile nodes. [Citation Graph (, )][DBLP ] Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. [Citation Graph (, )][DBLP ] Self-estimation of Neighborhood Density for Mobile Wireless Nodes. [Citation Graph (, )][DBLP ] Mobility-Aware Data Management on Mobile Wireless Networks. [Citation Graph (, )][DBLP ] Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes. [Citation Graph (, )][DBLP ] Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation. [Citation Graph (, )][DBLP ] Realistic Mobility Aware Information Gathering in Disaster Areas. [Citation Graph (, )][DBLP ] An integrated tool for development of overlay services. [Citation Graph (, )][DBLP ] Urban pedestrian mobility for mobile wireless network simulation. [Citation Graph (, )][DBLP ] Search in 0.014secs, Finished in 0.022secs