@inproceedings{CTT100701926, author = {Fumio Machida and Naoto Miyoshi}, title = {An optimal stopping problem for software rejuvenation in a job processing system}, booktitle = {Proceedings of 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)}, year = 2015, } @inproceedings{CTT100692127, author = {Naoto Miyoshi and Tomoyuki Shirai}, title = {Downlink coverage probability in a cellular network with Ginibre deployed base stations and Nakagami-m fading channels}, booktitle = {Proceedings of 13th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt)}, year = 2015, }