4286 search results - page 225 / 858 » Formalizing Service Interactions |
157
click to vote
MTA
2008
15 years 6 months ago
2008
DVB-H is the newly standardized extension to DVB-T, aiming at the provision of IP datacasting (IPDC) services to mobile terminals. This tutorial paper outlines the structure of an ...
163
click to vote
ICOST
2007
Springer
16 years 17 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
178
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...
167
click to vote
JWSR
2007
15 years 6 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
169
click to vote
ICECCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...