Teruo Higashino
Cited by
Cited by
Edge-centric computing: Vision and challenges
P Garcia Lopez, A Montresor, D Epema, A Datta, T Higashino, A Iamnitchi, ...
ACM SIGCOMM Computer Communication Review 45 (5), 37-42, 2015
Twitter user profiling based on text and community mining for market analysis
K Ikeda, G Hattori, C Ono, H Asoh, T Higashino
Knowledge-Based Systems 51, 35-47, 2013
Generating test cases for a timed I/O automaton model
T Higashino, A Nakata, K Taniguchi, AR Cavalli
Testing of Communicating Systems, 197-214, 1999
Getting urban pedestrian flow from simple observation: Realistic mobility generation in wireless network simulation
K Maeda, K Sato, K Konishi, A Yamasaki, A Uchiyama, H Yamaguchi, ...
Proceedings of the 8th ACM international symposium on Modeling, analysis andá…, 2005
A method for sharing traffic jam information using inter-vehicle communication
N Shibata, T Terauchi, T Kitani, K Yasumoto, M Ito, T Higashino
2006 3rd Annual International Conference on Mobile and Ubiquitous Systemsá…, 2006
Efficient vanet-based traffic information sharing using buses on regular routes
T Kitani, T Shinkawa, N Shibata, K Yasumoto, M Ito, T Higashino
VTC Spring 2008-IEEE Vehicular Technology Conference, 3031-3036, 2008
Deriving protocol specifications from service specifications written in LOTOS
C Kant, T Higashino, G von Bochmann
Distributed Computing 10 (1), 29-47, 1996
TransitLabel: A crowd-sensing system for automatic labeling of transit stations semantics
M Elhamshary, M Youssef, A Uchiyama, H Yamaguchi, T Higashino
Proceedings of the 14th annual international conference on mobile systemsá…, 2016
Cooperative vehicle positioning via V2V communications and onboard sensors
S Fujii, A Fujita, T Umedu, S Kaneda, H Yamaguchi, T Higashino, M Takai
2011 IEEE Vehicular Technology Conference (VTC Fall), 1-5, 2011
Urban pedestrian mobility for mobile wireless network simulation
K Maeda, A Uchiyama, T Umedu, H Yamaguchi, K Yasumoto, ...
Ad Hoc Networks 7 (1), 153-170, 2009
Mobireal simulator-evaluating manet applications in real environments
K Konishi, K Maeda, K Sato, A Yamasaki, H Yamaguchi, K Yasumoto, ...
13th IEEE International Symposium on Modeling, Analysis, and Simulation ofá…, 2005
Evaluation of inter-vehicle ad-hoc communication
M Saito, J Tsukamoto, T Umedu, T Higashino
19th International Conference on Advanced Information Networking andá…, 2005
Electronic triage system for continuously monitoring casualties at disaster scenes
K Sakanushi, T Hieda, T Shiraishi, Y Ode, Y Takeuchi, M Imai, ...
Journal of Ambient Intelligence and Humanized Computing 4 (5), 547-558, 2013
Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters
T Higashino, GV Bochmann
IEEE Transactions on Software Engineering 20 (1), 29-42, 1994
Ad-hoc localization in urban district
A Uchiyama, S Fujii, K Maeda, T Umedu, H Yamaguchi, T Higashino
IEEE INFOCOM 2007-26th IEEE International Conference on Computerá…, 2007
Framework and rule-based language for facilitating context-aware computing using information appliances
K Nishigaki, K Yasumoto, N Shibata, M Ito, T Higashino
25th IEEE International Conference on Distributed Computing Systemsá…, 2005
Design and evaluation of intervehicle dissemination protocol for propagation of preceding traffic information
M Saito, J Tsukamoto, T Umedu, T Higashino
IEEE Transactions on Intelligent Transportation Systems 8 (3), 379-390, 2007
An internet gateway access-point selection problem forWireless infrastructure mesh networks
S Tajima, T Higashino, N Funabiki, S Yoshida
7th International Conference on Mobile Data Management (MDM'06), 112-112, 2006
Automatic generation of extended UIO sequences for communication protocols in an EFSM model
X Li, T Higashino, M Higuchi, K Taniguchi
Protocol Test Systems, 225-240, 1995
A survey on formal active and passive testing with applications to the cloud
AR Cavalli, T Higashino, M N˙˝ez
annals of telecommunications-annales des tÚlÚcommunications 70 (3), 85-93, 2015
The system can't perform the operation now. Try again later.
Articles 1–20