Formalizing languages for service oriented computing
Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-bus...
Main Author: | Guidi, Claudio <1974> |
---|---|
Other Authors: | Gorrieri, Roberto |
Format: | Doctoral Thesis |
Language: | en |
Published: |
Alma Mater Studiorum - Università di Bologna
2007
|
Subjects: | |
Online Access: | http://amsdottorato.unibo.it/373/ |
Similar Items
-
Searching and retrieving in content-based repositories of formal mathematical knowledge
by: Guidi, Ferruccio <1969>
Published: (2003) -
Extending Implicit Computational Complexity and Abstract Machines to Languages with Control
by: Pellitta, Giulio <1984>
Published: (2014) -
A communication infrastructure to support knowledge level agents on the web
by: Guidi, Davide <1977>
Published: (2007) -
Interactions between normative systems and software cognitive agents.
A formalization in temporal modal defeasible logic and its implementation
by: Riveret, Régis <1979>
Published: (2008) -
A model and an algebra for semi-structured and full-text queries
by: Buratti, Giacomo <1974>
Published: (2007)