2302 search results - page 82 / 461 » Testing as Abstraction |
164
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract -_The evolution of a heterogeneousteam behavior can he a very demanding task. In order to promote the greatest level of specialization team members should be evolved in se...
163
click to vote
CLEF
2007
Springer
16 years 15 days ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
176
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
144
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
156
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...