Dimitrios Georgakopoulos
DOM QoS Prediction QoS-aware design SOA Servi Service-Oriented Architecture Workflow asset management business process calculus effect-based reasoning formal semantics organization prediction and dynamic verification reliability study