Modeling of refreshing sleep aid service based on ubiquitous computing | IEEE Conference Publication | IEEE Xplore