3481 search results - page 402 / 697 » A New Approach to Component Testing |
173
Voted
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...
161
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—With the advent of the new IEEE 802.11p DSRC/WAVE radios, Vehicle-to-Vehicle (V2V) communications is poised for a dramatic leap. A canonical application for these future vehicul...
192
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
184
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
160
click to vote
SERVICES
2010
15 years 8 months ago
2010
Today's ubiquitous internet access has opened new opportunities for mobile workers. By using portable devices, the workers are not only able to access their company's dat...