5030 search results - page 106 / 1006 » cases 2007 |
122
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
141
click to vote
PROFES
2007
Springer
15 years 10 months ago
2007
Springer
Reference processes are supposed to be the basis for collaboration and mature cooperation in software development. Large business organizations need large and diverse reference pro...
147
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
165
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We investigate issues regarding two hard problems related to voting, the optimal weighted lobbying problem and the winner problem for Dodgson elections. Regarding the former, Chris...
129
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...