-
2
-
-
33845425530
-
Let's Dance: A Language for Service Behavior Modeling
-
Meersman, R., Tari, Z. (eds.) OTM 2006. Springer, Heidelberg
-
Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let's Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4275
, pp. 145-162
-
-
Zaha, J.M.1
Barros, A.P.2
Dumas, M.3
Ter Hofstede, A.H.M.4
-
3
-
-
85174318550
-
DecSerFlow: Towards a Truly Declarative Service Flow Language
-
The Role of Business Processes in Service Oriented Architectures. 06291
-
van der Aalst, W., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, vol. 06291 (2006)
-
(2006)
Dagstuhl Seminar Proceedings
-
-
Van Der Aalst, W.1
Pesic, M.2
-
4
-
-
58049087926
-
Determining QoS of WS-BPEL Compositions
-
Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. Springer, Heidelberg
-
Mukherjee, D., Jalote, P., Nanda, M.G.: Determining QoS of WS-BPEL Compositions. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 378-393. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5364
, pp. 378-393
-
-
Mukherjee, D.1
Jalote, P.2
Nanda, M.G.3
-
5
-
-
78249285147
-
A Model-Driven Approach for QoS Prediction of BPEL Processes
-
Wu, J., Yang, F.: A Model-Driven Approach for QoS Prediction of BPEL Processes. In: ICSOC Workshops, pp. 131-140 (2006)
-
(2006)
ICSOC Workshops
, pp. 131-140
-
-
Wu, J.1
Yang, F.2
-
6
-
-
54349110010
-
Analysis of QoS in Cooperative Services for Real Time Applications
-
Buccafurri, F., Meo, P.D., Fugini, M.G., Furnari, R., Goy, A., Lax, G., Lops, P., Modafferi, S., Pernici, B., Redavid, D., Semeraro, G., Ursino, D.: Analysis of QoS in Cooperative Services for Real Time Applications. Data Knowledge Engineering 67(3), 463-484 (2008)
-
(2008)
Data Knowledge Engineering
, vol.67
, Issue.3
, pp. 463-484
-
-
Buccafurri, F.1
Meo, P.D.2
Fugini, M.G.3
Furnari, R.4
Goy, A.5
Lax, G.6
Lops, P.7
Modafferi, S.8
Pernici, B.9
Redavid, D.10
Semeraro, G.11
Ursino, D.12
-
7
-
-
40549140752
-
Quality analysis of composed services through fault injection
-
DOI 10.1007/978-3-540-78238-4-25, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers
-
Fugini, M.G., Pernici, B., Ramoni, F.: Quality Analysis of Composed Services through Fault Injection. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 245-256. Springer, Heidelberg (2008) (Pubitemid 351358258)
-
(2008)
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4928 LNCS
, pp. 245-256
-
-
Fugini, M.G.1
Pernici, B.2
Ramoni, F.3
-
11
-
-
32444451440
-
An Approach for QoS-Aware Service Composition Based on Genetic Algorithms
-
ACM, New York
-
Canfora, G., Penta, M.D., Esposito, R., Villani, M.: An Approach for QoS-Aware Service Composition Based on Genetic Algorithms. In: Proceedings of the 2005 conference on Genetic and Evolutionary Computation, pp. 1069-1075. ACM, New York (2005)
-
(2005)
Proceedings of the 2005 Conference on Genetic and Evolutionary Computation
, pp. 1069-1075
-
-
Canfora, G.1
Penta, M.D.2
Esposito, R.3
Villani, M.4
-
12
-
-
3042666264
-
QoS-Aware Middleware for Web Services Composition
-
Zeng, L., Benatallah, B., Ngu, A., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition. IEEE Transactions on Software Engineering 30(5), 311-327 (2004)
-
(2004)
IEEE Transactions on Software Engineering
, vol.30
, Issue.5
, pp. 311-327
-
-
Zeng, L.1
Benatallah, B.2
Ngu, A.3
Dumas, M.4
Kalagnanam, J.5
Chang, H.6
-
13
-
-
33745657036
-
Study on QoS Driven Web Services Composition
-
Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. Springer, Heidelberg
-
Chen, Y.P., Li, Z.Z., Jin, Q.X., Wang, C.: Study on QoS Driven Web Services Composition. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 702-707. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3841
, pp. 702-707
-
-
Chen, Y.P.1
Li, Z.Z.2
Jin, Q.X.3
Wang, C.4
-
14
-
-
78249265186
-
-
Technical Report CLIP5/2009.1, Technical University of Madrid (UPM) March
-
Ivanović, D., Carro, M., Hermenegildo, M., López, P., Mera, E.: Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations. Technical Report CLIP5/2009.1, Technical University of Madrid (UPM) (March 2010)
-
(2010)
Towards Data-Aware Cost-Driven Adaptation for Service Orchestrations
-
-
Ivanović, D.1
Carro, M.2
Hermenegildo, M.3
López, P.4
Mera, E.5
-
15
-
-
38149089700
-
User-Definable Resource Bounds Analysis for Logic Programs
-
Dahl, V., Niemelä, I. (eds.) ICLP 2007. Springer, Heidelberg
-
Navas, J., Mera, E., López-García, P., Hermenegildo, M.: User-Definable Resource Bounds Analysis for Logic Programs. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 348-363. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4670
, pp. 348-363
-
-
Navas, J.1
Mera, E.2
López-García, P.3
Hermenegildo, M.4
-
16
-
-
58449101063
-
A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs
-
King, A. (ed.) LOPSTR 2007. Springer, Heidelberg
-
Méndez-Lojo, M., Navas, J., Hermenegildo, M.: A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol. 4915, pp. 154-168. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4915
, pp. 154-168
-
-
Méndez-Lojo, M.1
Navas, J.2
Hermenegildo, M.3
-
17
-
-
45849149663
-
An Overview of the Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy
-
Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. Springer, Heidelberg
-
Hermenegildo, M.V., Bueno, F., Carro, M., López, P., Morales, J., Puebla, G.: An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 209-237. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5065
, pp. 209-237
-
-
Hermenegildo, M.V.1
Bueno, F.2
Carro, M.3
López, P.4
Morales, J.5
Puebla, G.6
-
18
-
-
24344435059
-
Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and the Ciao System Preprocessor)
-
Hermenegildo, M., Puebla, G., Bueno, F., López-García, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming 58(1-2), 115-140 (2005)
-
(2005)
Science of Computer Programming
, vol.58
, Issue.1-2
, pp. 115-140
-
-
Hermenegildo, M.1
Puebla, G.2
Bueno, F.3
López-García, P.4
|