12023 search results - page 2068 / 2405 » The K-Rep System Architecture |
148
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...
151
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Given a huge online social network, how do we retrieve information from it through crawling? Even better, how do we improve the crawling performance by using parallel crawlers tha...
161
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
156
Voted
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...