605 search results - page 88 / 121 » A strategy for efficiently verifying requirements |
GCC
2006
Springer
14 years 21 days ago
2006
Springer
In this paper we present Amadeus, which is a holistic service-oriented environment for QoS-aware Grid workflows. Amadeus considers user's requirements, in terms of QoS constr...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
CIMAGING
2010
13 years 10 months ago
2010
We address the problem of motion blur removal from an image sequence that was acquired by a sensor with nonlinear response. Motion blur removal in purely linear settings has been ...
COMAD
2008
13 years 10 months ago
2008
We propose an efficient sampling based outlier detection method for large high-dimensional data. Our method consists of two phases. In the first phase, we combine a "sampling...
WSMAI
2004
13 years 10 months ago
2004
Continuous Queries (CQ) help users to retrieve results as soon as they become available. The CQ keeps track of two important events. If there is any change in the source informatio...