1161 search results - page 156 / 233 » Efficient search engine measurements |
159
click to vote
BCSHCI
2008
15 years 7 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
188
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...
127
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
169
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
142
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...