Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference42 articles.
1. Al-Masri E, Mahmoud Q (2007) QoS-based discovery and ranking of web services. In: Proceedings of 16th IEEE international conference on computer communications and networks, Hawaii USA, pp 529–534
2. Ardagna D, Tanelli M, Lovera M, Zhang L (2010) Black-box performance models for virtualized web service applications. In: Proceedings of the ACM joint WOSP/SIPEW international conference on performance engineering, pp 153–164
3. Berardi D, Calvanese D, de Giacomo G, Hull R, Mecella M (2005) Automatic composition of transition-based semantic web services with messaging. In: VLDB’05, proceedings of the 31st international conference on very large databases, pp 613–624 (VLDB Endowment)
4. Berardi D, Calvanese D, de Giacomo G, Lenzerini M, Mecella M (2005) Automatic service composition based on behavioral descriptions. Int J Coop Inf Syst 14(4):333–376
5. Bhat G, Cleaveland R, Grumberg O (1995) Efficient on-the-fly model checking for CTL*. In: Proceedings of the 10th annual symposium on logic in computer science, Los Alamitos, pp 388–397