Dhara: A Service Abstraction-Based OS Kernel Design Model | IEEE Conference Publication | IEEE Xplore