2645 search results - page 251 / 529 » time 2003 |
148
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
We present a Web service composition approach that relies on three selection criteria: execution cost, execution time, and location of provider hosts. A Web service is an accessibl...
168
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
159
click to vote
CBSQ
2003
Springer
15 years 12 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
154
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
214
click to vote
CIA
2003
Springer
15 years 12 months ago
2003
Springer
The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. Research on the topic of trust in this domain has focused largely on digital signatures, ce...