1186 search results - page 159 / 238 » Goal-Oriented Interaction Protocols |
159
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
152
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
165
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
This paper proposes a multiagent based virtual community as a new means to support pervasive computing services. We give a conceptual definition of the concept of Place-Based Virt...
213
click to vote
Publication
The increasing number of new applications for mobile devices in pervasive environments, do not cope with changes in the wireless communications. Developers of such applications hav...
114
click to vote
ICIW
2008
IEEE
16 years 18 days ago
2008
IEEE
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...