2061 search results - page 330 / 413 » Modeling search engine effectiveness for federated search |
172
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
152
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Cell phone interfaces are now ubiquitous. In this paper, we describe concepts to support the analysis of cell phone menu hierarchies. We present an empirical study of user perform...
163
click to vote
ICPP
2008
IEEE
16 years 19 days ago
2008
IEEE
We introduce Scioto, Shared Collections of Task Objects, a lightweight framework for providing task management on distributed memory machines under one-sided and globalview parall...
152
click to vote
CIDM
2007
IEEE
16 years 16 days ago
2007
IEEE
−Document clustering has become an increasingly important task in analyzing huge numbers of documents distributed among various sites. The challenging aspect is to analyze this e...
160
click to vote
ICAC
2006
IEEE
16 years 7 days ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...