844 search results - page 55 / 169 » aim 2004 |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
FQAS
2004
Springer
14 years 3 months ago
2004
Springer
One of the key issues in product catalogs is how to efficiently integrate and query large, intricate, heterogeneous catalogs. We propose a framework for building a dynamic catalog...
GC
2004
Springer
14 years 3 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
GC
2004
Springer
14 years 3 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
GC
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related ser...