×

Found 26 Documents (Results 1–26)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Main Field

all top 3

Software