Sciweavers

557 search results - page 17 / 112
» Calculi for Service-Oriented Computing
Sort
View
ICSOC
2005
Springer
14 years 2 months ago
Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
Massimiliano Colombo, Elisabetta Di Nitto, Massimi...
ICSOC
2009
Springer
14 years 1 months ago
A Service-Oriented UML Profile with Formal Support
Roberto Bruni, Matthias M. Hölzl, Nora Koch, ...
DEBS
2008
ACM
13 years 10 months ago
Service oriented architecture for heterogeneous and dynamic sensor networks
Abstract--The purpose of this demo is to foster a multilevel service oriented architecture for sensor networks that fully supports network dynamicity, auto-configuration, service d...
Jeremie Leguay, Mario Lopez-Ramos, Kathlyn Jean-Ma...
ENTCS
2011
106views more  ENTCS 2011»
13 years 4 months ago
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
F. L. C. de Moura, A. V. Barbosa, Mauricio Ayala-R...
WETICE
2005
IEEE
14 years 2 months ago
A Service Oriented Architecture Framework for Collaborative Services
The demand for flexible, efficient and user-friendly collaborative services is becoming more and more urgent as the competition in the current marketoriented arena is getting more...
Ivar Jørstad, Schahram Dustdar, Do Van Than...