How "Smart" Are Japanese Cities? An Empirical Investigation of Infrastructures and Governmental Programs in Tokyo, Yokohama, Osaka, and Kyoto | IEEE Conference Publication | IEEE Xplore