2165 search results - page 392 / 433 » Cooperative Software Development: Concepts, Model and Tools |
135
Voted
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
134
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
115
Voted
SISAP
2009
IEEE
15 years 8 months ago
2009
IEEE
—It has been a long way since the beginnings of metric space searching, where people coming from algorithmics tried to apply their background to this new paradigm, obtaining vari...
107
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
111
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...