Search results for "Teruo Higashino"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chai-Keong Toh, Teruo Higashino, Juan-Carlos Cano, Michele C. Weigle	Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees].	IEEE Intell. Transport. Syst. Mag.	2012	DBLP DOI BibTeX RDF
1	Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	Trajectory estimation algorithm for mobile nodes using encounter information and geographical information.	Pervasive and Mobile Computing	2012	DBLP DOI BibTeX RDF
1	Kazushi Ikeda, Thilmee M. Baduge, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	ALMware: A middleware for application layer multicast protocols.	Computer Communications	2011	DBLP DOI BibTeX RDF
1	Eijiro Ueno, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement.	MASS	2011	DBLP DOI BibTeX RDF
1	Tohru Asami, Teruo Higashino (eds.)	2011 IEEE International Conference on Peer-to-Peer Computing, P2P 2011, Kyoto, Japan, August 31 - September 2, 2011	Peer-to-Peer Computing	2011	DBLP BibTeX RDF
1	Takamasa Higuchi, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino	An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes.	PerCom	2011	DBLP DOI BibTeX RDF
1	Anuj Ratna Bajracharya, Akira Uchiyama, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	Implementation of a data collection mechanism in electronic triage system using wireless sensor devices.	LCN	2011	DBLP DOI BibTeX RDF
1	Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	A Comprehensive Test Strategy for Network Protocols in Diverse Environment.	MASCOTS	2011	DBLP DOI BibTeX RDF	performance evaluation, wireless network, network simulation
1	Keishi Sakanushi, Takuji Hieda, Taichiro Shiraishi, Yasumasa Ode, Yoshinori Takeuchi, Masaharu Imai, Teruo Higashino, Hiroshi Tanaka	Electronic Triage System: Casualties Monitoring System in the Disaster Scene.	3PGCIC	2011	DBLP DOI BibTeX RDF
1	Shigeto Tajima, Nobuo Funabiki, Teruo Higashino	A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks.	CISIS	2011	DBLP DOI BibTeX RDF
1	Sae Fujii, Atsushi Fujita, Takaaki Umedu, Shigeru Kaneda, Hirozumi Yamaguchi, Teruo Higashino, Mineo Takai	Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors.	VTC Fall	2011	DBLP DOI BibTeX RDF
1	Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino	Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services.	IJWMC	2010	DBLP DOI BibTeX RDF
1	Shigeto Tajima, Nobuo Funabiki, Teruo Higashino	A WDS Clustering Algorithm for Wireless Mesh Networks.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino	Map estimation using GPS-equipped mobile wireless nodes.	Pervasive and Mobile Computing	2010	DBLP DOI BibTeX RDF
1	Teruo Higashino, Kenji Suzuki	Message from the General Co-Chairs.	ICNP	2010	DBLP DOI BibTeX RDF
1	Shinichi Minamimoto, Sae Fujii, Hirozumi Yamaguchi, Teruo Higashino	Local map generation using position and communication history of mobile nodes.	PerCom	2010	DBLP DOI BibTeX RDF
1	Kumiko Maeda, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino	Urban pedestrian mobility for mobile wireless network simulation.	Ad Hoc Networks	2009	DBLP DOI BibTeX RDF
1	Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino	An integrated tool for development of overlay services.	SimuTools	2009	DBLP DOI BibTeX RDF	petri nets simulation, distributed systems, overlay networks, simulation tools
1	Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices.	PADS	2009	DBLP DOI BibTeX RDF	Emergency support system, Performance Evaluation, Network Simulation
1	Tomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino	Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors.	RTCSA	2009	DBLP DOI BibTeX RDF
1	Sae Fujii, Takashi Nomura, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	Real-time trajectory estimation in mobile ad hoc networks.	MSWiM	2009	DBLP DOI BibTeX RDF	mobile ad hoc network, localization, trajectory estimation, decentralized algorithm, range-free
1	Junji Hamada, Akira Uchiyama, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino	Self-estimation of Neighborhood Density for Mobile Wireless Nodes.	UIC	2009	DBLP DOI BibTeX RDF
1	Weihua Sun, Junya Fukumoto, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino	A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks.	JIP	2008	DBLP DOI BibTeX RDF
1	Teruo Higashino	Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF	software design methodology, MANET, urban planning, ubiquitous systems, Software-intensive systems
1	Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.)	Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings	FORTE	2008	DBLP BibTeX RDF
1	Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.	MMNS	2008	DBLP DOI BibTeX RDF
1	Masatoshi Nakamura, Hiroaki Urabe, Akira Uchiyama, Takaaki Umedu, Teruo Higashino	Realistic Mobility Aware Information Gathering in Disaster Areas.	WCNC	2008	DBLP DOI BibTeX RDF
1	Sae Fujii, Akira Uchiyama, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution).	PerCom	2008	DBLP DOI BibTeX RDF	off-line localization, ad-hoc communication, behavior analysis, range-free
1	Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.)	Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings	TestCom/FATES	2008	DBLP BibTeX RDF
1	Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino	Hybrid Testbed Enabling Run-Time Operations for Wireless Applications.	PADS	2008	DBLP DOI BibTeX RDF	run-time operation, design and development support, simulation, testbed, mobile wireless network
1	Thilmee M. Baduge, Kazushi Ikeda, Hirozumi Yamaguchi, Teruo Higashino	Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context.	ICC	2008	DBLP DOI BibTeX RDF
1	Tomoya Kitani, Nobuo Funabiki, Hirozumi Yamaguchi, Teruo Higashino	Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs.	Networking	2008	DBLP DOI BibTeX RDF	WDM ring networks, logical topology design algorithm, hierarchical topology, compact routing algorithm
1	Tomoya Kitani, Takashi Shinkawa, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino	Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes.	VTC Spring	2008	DBLP DOI BibTeX RDF
1	Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino	Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information.	IEEE Transactions on Intelligent Transportation Systems	2007	DBLP DOI BibTeX RDF
1	Akira Uchiyama, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	Performance evaluation of mobile wireless communication and services with modelling of real environment.	IJAHUC	2007	DBLP DOI BibTeX RDF
1	Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino	Deriving protocol specifications from service specifications written as Predicate/Transition-nets.	Computer Networks	2007	DBLP DOI BibTeX RDF
1	Yujin Yokogawa, Nobuo Funabiki, Teruo Higashino, Masashi Oda, Yoshihide Mori	A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment.	Systems and Computers in Japan	2007	DBLP DOI BibTeX RDF
1	Masataka Yonezu, Nobuo Funabiki, Tomoya Kitani, Tokumi Yokohira, Toru Nakanishi, Teruo Higashino	Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks.	Systems and Computers in Japan	2007	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)	Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings	ATVA	2007	DBLP BibTeX RDF
1	Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino	Ad-hoc Localization in Urban District.	INFOCOM	2007	DBLP DOI BibTeX RDF
1	Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto, Teruo Higashino	Mobility-Aware Data Management on Mobile Wireless Networks.	VTC Spring	2007	DBLP DOI BibTeX RDF
1	Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino	A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi	Symbolic model checking of extended finite state machines with linear constraints over integer variables.	Systems and Computers in Japan	2006	DBLP DOI BibTeX RDF
1	Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks.	Systems and Computers in Japan	2006	DBLP DOI BibTeX RDF
1	Akira Uchiyama, Takaaki Umedu, Keiichi Yasumoto, Teruo Higashino	Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation.	NOMS	2006	DBLP DOI BibTeX RDF
1	Takaaki Umedu, Hiroaki Urabe, Jun Tsukamoto, Kazuki Sato, Teruo Higashino	MANET Protocol for Information Gathering from Disaster Victims.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
1	Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino	A real time budgeting method for module-level-pipelined bus based system using bus scenarios.	DAC	2006	DBLP DOI BibTeX RDF	bus based systems, cycle budgeting, real-time systems, pipelined processing, multimedia processing
1	Shigeto Tajima, Teruo Higashino, Nobuo Funabiki, Shoji Yoshida	An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks.	MDM	2006	DBLP DOI BibTeX RDF
1	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.	MDM	2006	DBLP DOI BibTeX RDF
1	Yoshitaka Nakamura, Hirozumi Yamaguchi, Teruo Higashino	Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks.	MDM	2006	DBLP DOI BibTeX RDF
1	Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito	Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation.	MDM	2006	DBLP DOI BibTeX RDF
1	Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito, Teruo Higashino	Demand-Oriented Information Retrieval Method on MANET.	MDM	2006	DBLP DOI BibTeX RDF
1	Kumiko Maeda, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino	MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility.	MDM	2006	DBLP DOI BibTeX RDF
1	Nobuo Funabiki, Jun Kawashima, Toru Nakanishi, Kiyohiko Okayama, Teruo Higashino	An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks.	IEICE Transactions	2005	DBLP DOI BibTeX RDF
1	Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino	Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.	IEICE Transactions	2005	DBLP DOI BibTeX RDF
1	Teruo Higashino, Hirozumi Yamaguchi	A Testing Architecture for Designing High-Reliable MANET Protocols.	FORTE	2005	DBLP DOI BibTeX RDF
1	Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino	Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
1	Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino	A formal approach to design optimized multimedia service overlay.	NOSSDAV	2005	DBLP DOI BibTeX RDF	service composition, overlay network, multimedia service
1	Teruo Higashino (eds.)	Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers	OPODIS	2005	DBLP BibTeX RDF
1	Kazuki Konishi, Kumiko Maeda, Kazuki Sato, Akiko Yamasaki, Hirozumi Yamaguchi, Teruo Higashino, Keiichi Yasumoto	MobiREAL Simulator Evaluating MANET Applications in Real Environments.	MASCOTS	2005	DBLP DOI BibTeX RDF
1	Thilmee M. Baduge, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming.	ICPP	2005	DBLP DOI BibTeX RDF
1	Masashi Saito, Jun Tsukamoto, Takaaki Umedu, Teruo Higashino	Evaluation of Inter-Vehicle Ad Hoc Communication Protocol.	AINA	2005	DBLP DOI BibTeX RDF
1	Nobuo Funabiki, Megumi Isogai, Toru Nakanishi, Teruo Higashino	Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks.	AINA	2005	DBLP DOI BibTeX RDF
1	Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino	Automatic Decomposition of Java Program for Implementation on Mobile Terminals.	AINA	2005	DBLP DOI BibTeX RDF
1	Yoshitaka Nakamura, Guiquan Ren, Masatoshi Nakamura, Takaaki Umedu, Teruo Higashino	Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication.	ICME	2005	DBLP DOI BibTeX RDF
1	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.	MSWiM	2005	DBLP DOI BibTeX RDF	simulation, mobile ad-hoc network, mobility model
1	Takanori Mori, Akio Nakata, Teruo Higashino	A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.	Stud. Inform. Univ.	2004	DBLP BibTeX RDF
1	Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito	Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino	A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.	ATVA	2004	DBLP DOI BibTeX RDF
1	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.	RTSS	2004	DBLP DOI BibTeX RDF	parametric model checking, real-time systems, high-level synthesis, HW/SW co-design
1	Kouji Nishigaki, Keiichi Yasumoto, Takaaki Umedu, Teruo Higashino, Minoru Ito	Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications. (PDF / PS)	Mobile Data Management	2004	DBLP DOI BibTeX RDF
1	Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi	An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino	A test sequence generation method for communication protocols using the SAT algorithm.	Systems and Computers in Japan	2003	DBLP DOI BibTeX RDF
1	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.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Protocol re-synthesis, Distributed system, Petri net, Service specification, Protocol specification, Protocol synthesis
1	Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino	Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.	FORTE	2003	DBLP DOI BibTeX RDF
1	Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino	QoS Functional Testing for Multi-media Systems.	FORTE	2003	DBLP DOI BibTeX RDF
1	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.	FPL	2003	DBLP DOI BibTeX RDF
1	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.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
1	Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Reducing the Size of Routing Tables for Large-scale Network Simulation.	PADS	2003	DBLP DOI BibTeX RDF
1	Nobuo Funabiki, Ayako Sugano, Teruo Higashino	A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks.	AINA	2003	DBLP DOI BibTeX RDF
1	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. (PDF / PS)	SAINT	2003	DBLP DOI BibTeX RDF
1	Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino	Protocol animation based on event-driven visualization scenarios in real-time LOTOS.	Computer Networks	2002	DBLP DOI BibTeX RDF
1	Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata, Teruo Higashino	Design and Implementation of FPGA Circuits for High Speed Network Monitors.	FPL	2002	DBLP DOI BibTeX RDF	multi-way synchronization, concurrent EFSMs, high-level synthesis, design methodology, passive network monitor
1	Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	A Selection Technique for Replicated Multicast Video Servers. (PDF / PS)	ICPP	2002	DBLP DOI BibTeX RDF
1	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.	FME	2002	DBLP DOI BibTeX RDF
1	Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima, Teruo Higashino	A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems.	ICOIN	2002	DBLP DOI BibTeX RDF
1	Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino	A Method for Functional Testing of Media Synchronization Protocols.	ICOIN	2002	DBLP DOI BibTeX RDF
1	Shigeto Tajima, Masakazu Fujii, Nobuo Funabiki, Tokumi Yokohira, Kazufumi Tsunemura, Teruo Higashino	An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems.	ICOIN	2002	DBLP DOI BibTeX RDF
1	Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	A compiler to implement LOTOS specifications in distributed environments.	Computer Networks	2001	DBLP DOI BibTeX RDF
1	Akio Nakata, Teruo Higashino	Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.	FORTE	2001	DBLP BibTeX RDF
1	Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino	A Method to Generate Conformance Test Sequences for FSM with Timer System Call.	FORTE	2001	DBLP BibTeX RDF
1	Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Formal Verification of CPU in Laboratory Work. (PDF / PS)	MSE	2001	DBLP DOI BibTeX RDF
1	Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
1	Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino	Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
1	Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of Concurrent Periodic EFSM's.	FORTE	2000	DBLP BibTeX RDF
1	Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino	Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.	IDMS	2000	DBLP DOI BibTeX RDF
1	Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.	DAC	2000	DBLP DOI BibTeX RDF	concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
1	Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi	Extension of SMIL with QoS Control and its Implementation.	IEEE International Conference on Multimedia and Expo (III)	2000	DBLP BibTeX RDF
1	Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Receiver-Cooperative Bandwidth Management for Layered Multicast. (PDF / PS)	ICNP	1999	DBLP DOI BibTeX RDF	receiver-cooperation, receivers' preference, layered multicast, bandwidth management

Publications of "Teruo Higashino" ( http://dblp.L3S.de/Authors/Teruo_Higashino )