Teruo Higashino
Teruo Higashino
Kyoto Tachibana University & Osaka University
Verified email at - Homepage
Cited by
Cited by
Edge-centric computing: Vision and challenges.
PG Lopez, A Montresor, DHJ Epema, A Datta, T Higashino, A Iamnitchi, ...
Comput. Commun. Rev. 45 (5), 37-42, 2015
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: Methods and Applications, 197-214, 1999
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
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
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
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
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
Deriving protocol specifications from service specifications written in LOTOS
C Kant, T Higashino, G von Bochmann
Distributed Computing 10 (1), 29-47, 1996
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
Analysis of accident risks from driving behaviors
T Osafune, T Takahashi, N Kiyama, T Sobue, H Yamaguchi, T Higashino
International journal of intelligent transportation systems research 15, 192-202, 2017
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, 547-558, 2013
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, 85-93, 2015
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
Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters
T Higashino, G Bochmann
IEEE Transactions on Software Engineering 20 (1), 29-42, 1994
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
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
The system can't perform the operation now. Try again later.
Articles 1–20