4286 search results - page 48 / 858 » Formalizing Service Interactions |
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
Pervasive environments bring new challenges for service management, as clients have to handle large collections of services offered by concurrent networks at their location, as we...
GI
2008
Springer
13 years 9 months ago
2008
Springer
: For the deployment of ambient services it is unrealistic to base user-computer interaction on traditional mouse or keyboard. Replacing them with other proprietary devices just mo...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper presents a new economic approach for studying competition and innovation in a complex and highly interactive system of network providers, users, and suppliers of digi...
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
TELSYS
2002
13 years 8 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...