SEDA4SC: A staged event-driven architecture for adaptive service computing runtime | IEEE Conference Publication | IEEE Xplore