4286 search results - page 126 / 858 » Formalizing Service Interactions |
203
click to vote
SIGCOMM
2006
ACM
16 years 6 days ago
2006
ACM
The success of Skype has inspired a generation of peer-topeer-based solutions for satisfactory real-time multimedia services over the Internet. However, fundamental questions, suc...
146
click to vote
OZCHI
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the user experiences gained from the use of a location sensitive mobile services in urban environment, collected with a diary study and user interviews over o...
220
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
185
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
155
click to vote
ICSOC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...