3052 search results - page 472 / 611 » A community-aware search engine |
202
click to vote
WEBI
2004
Springer
16 years 12 days ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
181
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
189
Voted
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
209
click to vote
PVLDB
2008
15 years 6 months ago
2008
In this paper we present the AlvisP2P IR engine, which enables efficient retrieval with multi-keyword queries from a global document collection available in a P2P network. In such...
282
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...