5477 search results - page 519 / 1096 » Contexts, Domains, and Software |
200
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract---Service Oriented Architecture (SOA) is an architectural style to reuse and integrate existing systems for designing new applications. Each application is designed in an ...
177
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...
225
click to vote
FATES
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
196
click to vote
AVI
2008
15 years 9 months ago
2008
Searching for images by using low-level visual features, such as color and texture, is known to be a powerful, yet imprecise, retrieval paradigm. The same is true if search relies...
182
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...