1718 search results - page 166 / 344 » Modeling and testing of cloud applications |
146
click to vote
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
130
click to vote
JEI
2010
15 years 2 months ago
2010
Abstract. Objective image and video quality measures play important roles in numerous image and video processing applications. In this work, we propose a new content-weighted metho...
138
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
161
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
132
click to vote
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...