623 search results - page 73 / 125 » An Algorithm for Automatic Service Composition |
119
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
99
Voted
JSAC
2007
15 years 2 months ago
2007
— In this paper, the prediction of received power in the out-of-zone of a Dedicated Short Range Communications (DSRC) system operating inside a typical arched highway tunnel is d...
129
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link...
137
Voted
INFOCOM
1995
IEEE
15 years 6 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...
127
click to vote
ICEIS
2000
IEEE
15 years 7 months ago
2000
IEEE
The world-wide-web does not support referential integrity, i.e. dangling references do exist. This can be very annoying; in particular, if a user pays for some service in the form...