129 search results - page 9 / 26 » Formalizing Mobility in Service Oriented Computing |
COLLABORATION
1999
Springer
14 years 18 hour ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
ICIW
2007
IEEE
14 years 2 months ago
2007
IEEE
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...
SFM
2005
Springer
14 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
AIIA
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...