11718 search results - page 2073 / 2344 » Testing database applications |
108
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
103
click to vote
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
136
Voted
SLE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
127
Voted
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
99
Voted
CIKM
2001
Springer
15 years 7 months ago
2001
Springer
The application of document clustering to information retrieval has been motivated by the potential effectiveness gains postulated by the Cluster Hypothesis. The hypothesis states ...