Carbone, Marco; Honda, Kohei; Yoshida, Nobuko A calculus of global interaction based on session types. (English) Zbl 1277.68171 Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 127-151 (2007). MSC: 68Q85 68M10 68M11 PDFBibTeX XMLCite \textit{M. Carbone} et al., Electron. Notes Theor. Comput. Sci. 171, No. 3, 127--151 (2007; Zbl 1277.68171) Full Text: DOI
Svátek, Vojtěch; Vacura, Miroslav; Labský, Martin; Teije, Annette Ten Modelling web service composition for deductive web mining. (English) Zbl 1249.68220 Comput. Inform. 26, No. 3, 255-279 (2007). MSC: 68T20 68T30 68U35 PDFBibTeX XMLCite \textit{V. Svátek} et al., Comput. Inform. 26, No. 3, 255--279 (2007; Zbl 1249.68220)
Men, Peng; Duan, Zhenhua; Yu, Bin Utilizing fuzzy Petri net for choreography based semantic web services discovery. (English) Zbl 1226.68010 Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 362-380 (2007). MSC: 68M11 68Q85 PDFBibTeX XMLCite \textit{P. Men} et al., Lect. Notes Comput. Sci. 4546, 362--380 (2007; Zbl 1226.68010) Full Text: DOI
Zhang, Feng An approach to building services of database based on Web Services. (Chinese. English summary) Zbl 1174.68393 J. Shandong Univ., Nat. Sci. 42, No. 11, 77-81 (2007). MSC: 68P15 PDFBibTeX XMLCite \textit{F. Zhang}, J. Shandong Univ., Nat. Sci. 42, No. 11, 77--81 (2007; Zbl 1174.68393)
Liu, Shulei; Liu, Yunxiang; Zhang, Fan; Tang, Guifen; Jing, Ning A dynamic web services selection algorithm with QoS global optimal in web services composition. (Chinese. English summary) Zbl 1174.90398 J. Softw. 18, No. 3, 646-656 (2007). MSC: 90B22 90B18 90C29 PDFBibTeX XMLCite \textit{S. Liu} et al., J. Softw. 18, No. 3, 646--656 (2007; Zbl 1174.90398) Full Text: Link
Chevalier, Yannick; Lugiez, Denis; Rusinowitch, Michaël Towards an automatic analysis of web service security. (English) Zbl 1148.68315 Konev, Boris (ed.) et al., Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10–12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74620-1/pbk). Lecture Notes in Computer Science 4720. Lecture Notes in Artificial Intelligence, 133-147 (2007). MSC: 68M10 68M12 68P25 PDFBibTeX XMLCite \textit{Y. Chevalier} et al., Lect. Notes Comput. Sci. 4720, 133--147 (2007; Zbl 1148.68315) Full Text: DOI
Škrbić, Srđan; Bodroški, Žarko; Pupovac, Biljana; Racković, Miloš Faculty information system based on open source technologies. (English) Zbl 1164.68033 Novi Sad J. Math. 37, No. 2, 181-192 (2007). Reviewer: Milan Dražić (Beograd) MSC: 68U35 PDFBibTeX XMLCite \textit{S. Škrbić} et al., Novi Sad J. Math. 37, No. 2, 181--192 (2007; Zbl 1164.68033)
Mintchev, Alexander A prototype of an extension to the UDDI registry allowing publication and search based on subjective evaluations. (English) Zbl 1157.68509 Serdica J. Comput. 1, No. 3, 229-240 (2007). MSC: 68U99 91B06 PDFBibTeX XMLCite \textit{A. Mintchev}, Serdica J. Comput. 1, No. 3, 229--240 (2007; Zbl 1157.68509) Full Text: EuDML
Hashemian, Seyyed Vahid; Mavaddat, Farhad Automatic composition of stateless components: A logical reasoning approach. (English) Zbl 1141.68369 Arbab, Farhad (ed.) et al., International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75697-2/pbk). Lecture Notes in Computer Science 4767, 175-190 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{S. V. Hashemian} and \textit{F. Mavaddat}, Lect. Notes Comput. Sci. 4767, 175--190 (2007; Zbl 1141.68369) Full Text: DOI
Jørstad, Ivar; Van, Do Thanh Personalised ubiquitous file access with XML Web Services. (English) Zbl 1147.68358 Comput. Netw. 51, No. 16, 4655-4668 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{I. Jørstad} and \textit{D. T. Van}, Comput. Netw. 51, No. 16, 4655--4668 (2007; Zbl 1147.68358) Full Text: DOI
Vazquez, Juan Ignacio; López-de-Ipiña, Diego mRDP: An HTTP-based lightweight semantic discovery protocol. (English) Zbl 1147.68403 Comput. Netw. 51, No. 16, 4529-4542 (2007). MSC: 68M12 68M10 PDFBibTeX XMLCite \textit{J. I. Vazquez} and \textit{D. López-de-Ipiña}, Comput. Netw. 51, No. 16, 4529--4542 (2007; Zbl 1147.68403) Full Text: DOI
Hwang, San-Yih; Wang, Haojun; Tang, Jian; Srivastava, Jaideep A probabilistic approach to modeling and estimating the QoS of web-services-based workflows. (English) Zbl 1126.68005 Inf. Sci. 177, No. 23, 5484-5503 (2007). MSC: 68M10 68M20 PDFBibTeX XMLCite \textit{S.-Y. Hwang} et al., Inf. Sci. 177, No. 23, 5484--5503 (2007; Zbl 1126.68005) Full Text: DOI
Muscholl, Anca; Walukiewicz, Igor A lower bound on web services composition. (English) Zbl 1195.68067 Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 274-286 (2007). MSC: 68Q60 68M11 68Q17 68Q45 PDFBibTeX XMLCite \textit{A. Muscholl} and \textit{I. Walukiewicz}, Lect. Notes Comput. Sci. 4423, 274--286 (2007; Zbl 1195.68067) Full Text: DOI
Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H. M. Formal semantics and analysis of control flow in WS-BPEL. (English) Zbl 1122.68073 Sci. Comput. Program. 67, No. 2-3, 162-198 (2007). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{C. Ouyang} et al., Sci. Comput. Program. 67, No. 2--3, 162--198 (2007; Zbl 1122.68073) Full Text: DOI Link
Totok, Alexander; Karamcheti, Vijay Modeling of concurrent web sessions with bounded inconsistency in shared data. (English) Zbl 1121.68311 J. Parallel Distrib. Comput. 67, No. 7, 830-847 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{A. Totok} and \textit{V. Karamcheti}, J. Parallel Distrib. Comput. 67, No. 7, 830--847 (2007; Zbl 1121.68311) Full Text: DOI
Deutsch, Alin; Sui, Liying; Vianu, Victor Specification and verification of data-driven Web applications. (English) Zbl 1111.68488 J. Comput. Syst. Sci. 73, No. 3, 442-474 (2007). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Deutsch} et al., J. Comput. Syst. Sci. 73, No. 3, 442--474 (2007; Zbl 1111.68488) Full Text: DOI
Braun, Torsten (ed.); Carle, Georg (ed.); Stiller, Burkhard (ed.) Communication in distributed systems (KiVS) 2007. 15th Conference on communication in distributed systems (KiVS 2007), Bern, February 26 – March 2, 2007. (Kommunikation in verteilten Systemen (KiVS) 2007. 15. ITG/GI-Fachtagung Kommunikation in verteilten Systemen (KiVS 2007), Bern, 26. Februar – 2. März 2007.) (English) Zbl 1138.68329 Informatik Aktuell. Berlin: Springer (ISBN 978-3-540-69961-3). xiii, 322 p. (2007). MSC: 68M14 68-06 68U35 PDFBibTeX XMLCite \textit{T. Braun} (ed.) et al., Kommunikation in verteilten Systemen (KiVS) 2007. 15. ITG/GI-Fachtagung Kommunikation in verteilten Systemen (KiVS 2007), Bern, 26. Februar -- 2. März 2007. Berlin: Springer (2007; Zbl 1138.68329) Full Text: DOI
Guirguis, Mina; Bestavros, Azer; Matta, Ibrahim; Zhang, Yuting Adversarial exploits of end-systems adaptation dynamics. (English) Zbl 1112.68004 J. Parallel Distrib. Comput. 67, No. 3, 318-335 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{M. Guirguis} et al., J. Parallel Distrib. Comput. 67, No. 3, 318--335 (2007; Zbl 1112.68004) Full Text: DOI
Breitman, Karin K.; Casanova, Marco Antonio; Truszkowski, Walt Semantic web: concepts, technologies and applications. (English) Zbl 1106.68005 NASA Monographs in Systems and Software Engineering. London: Springer (ISBN 978-1-84628-581-3/hbk). xiv, 327 p. (2007). MSC: 68M10 68T05 68-01 PDFBibTeX XMLCite \textit{K. K. Breitman} et al., Semantic web: concepts, technologies and applications. London: Springer (2007; Zbl 1106.68005)
Lucchi, Roberto; Mazzara, Manuel A pi-calculus based semantics for WS-BPEL. (English) Zbl 1178.68367 J. Log. Algebr. Program. 70, No. 1, 96-118 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Lucchi} and \textit{M. Mazzara}, J. Log. Algebr. Program. 70, No. 1, 96--118 (2007; Zbl 1178.68367) Full Text: DOI
Viroli, Mirko A core calculus for correlation in orchestration languages. (English) Zbl 1178.68051 J. Log. Algebr. Program. 70, No. 1, 74-95 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{M. Viroli}, J. Log. Algebr. Program. 70, No. 1, 74--95 (2007; Zbl 1178.68051) Full Text: DOI
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana Reasoning about interaction protocols for customizing web service selection and composition. (English) Zbl 1178.68061 J. Log. Algebr. Program. 70, No. 1, 53-73 (2007). MSC: 68M12 68M11 PDFBibTeX XMLCite \textit{M. Baldoni} et al., J. Log. Algebr. Program. 70, No. 1, 53--73 (2007; Zbl 1178.68061) Full Text: DOI
Heckel, R.; Cherchago, A. Structural and behavioural compatibility of graphical service specifications. (English) Zbl 1178.68033 J. Log. Algebr. Program. 70, No. 1, 15-33 (2007). MSC: 68M10 68R10 PDFBibTeX XMLCite \textit{R. Heckel} and \textit{A. Cherchago}, J. Log. Algebr. Program. 70, No. 1, 15--33 (2007; Zbl 1178.68033) Full Text: DOI
Degwekar, Seema; Lam, Herman; Su, Stanley Y. W. Constraint-based brokering (CBB) for publishing and discovery of web services. (English) Zbl 1114.68306 Electron. Commer. Res. 7, No. 1, 45-67 (2007). MSC: 68M10 68T20 PDFBibTeX XMLCite \textit{S. Degwekar} et al., Electron. Commer. Res. 7, No. 1, 45--67 (2007; Zbl 1114.68306) Full Text: DOI
Weiss, M.; Esfandiari, B.; Luo, Y. Towards a classification of web service feature interactions. (English) Zbl 1119.68025 Comput. Netw. 51, No. 2, 359-381 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{M. Weiss} et al., Comput. Netw. 51, No. 2, 359--381 (2007; Zbl 1119.68025) Full Text: DOI
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo Extending movilog for supporting web services. (English) Zbl 1103.68344 Comput. Lang. Syst. Struct. 33, No. 1, 11-31 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{C. Mateos} et al., Comput. Lang. Syst. Struct. 33, No. 1, 11--31 (2007; Zbl 1103.68344) Full Text: DOI