1722 search results - page 108 / 345 » Generating Tests from Counterexamples |
KBSE
2007
IEEE
14 years 5 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
KR
2000
Springer
14 years 2 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
IPM
2006
13 years 10 months ago
2006
How to merge and organise query results retrieved from different resources is one of the key issues in distributed information retrieval. Some previous research and experiments su...
ESWA
2008
13 years 11 months ago
2008
This paper examines and proposes the automatic generation of concept hierarchies using WordNet. Existing researches have mostly explored the utilization of concept hierarchies, bu...
WCE
2007
13 years 12 months ago
2007
—This paper presents power flow models of a self-excited induction generator. These models are used for steady-state power flow calculation in electric power systems in which a g...