1697 search results - page 31 / 340 » Supporting the design of service contracts with interaction ... |
152
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
147
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Collaboration over the Internet depends on the ability of the members of a group to exchange data in a secure yet unobtrusive manner. WebDAVA is a system that allows users to de�...
156
click to vote
SG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
159
click to vote
ATAL
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
177
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...