Sciweavers

1697 search results - page 88 / 340
» Supporting the design of service contracts with interaction ...
Sort
View
ANSS
2004
IEEE
15 years 3 months ago
A Service Scheduler in a Trustworthy System
The aim of the research is to investigate techniques that support efficient service scheduling algorithms in a service-oriented fault-tolerant real-time distributed system. Techni...
Yinong Chen
EPEW
2005
Springer
15 years 5 months ago
Reasoning About Interaction Patterns in Choreography
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
EDOC
2004
IEEE
15 years 3 months ago
Write Once, Deploy N: A Performance Oriented MDA Case Study
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
Pieter Van Gorp, Dirk Janssens, Tracy Gardner
ECTEL
2006
Springer
15 years 3 months ago
A Model for Representing Professional Development through the Participation in a Virtual CoP: Uses for Developing Enhanced Servi
This paper presents a model of professional development through the participation in a virtual CoP. This model is rooted in a definition of professional development and of professi...
Amaury Daele
CAISE
2007
Springer
15 years 6 months ago
Conceptual Modeling of Privacy-Aware Web Service Protocols
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
Rachid Hamadi, Hye-Young Paik, Boualem Benatallah