3742 search results - page 714 / 749 » On the Use of Formal Techniques for Validation |
146
click to vote
ER
2007
Springer
16 years 8 days ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
172
click to vote
GECCO
2007
Springer
16 years 8 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
166
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
177
click to vote
GECCO
2004
Springer
15 years 11 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 ...
185
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...