598 search results - page 87 / 120 » Navigation system for product search |
AMAST
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
Much of the success of the Internet services model can be attributed to the popularity of a class of workloads that we call Online Data-Intensive (OLDI) services. These workloads ...
CIVR
2007
Springer
14 years 2 months ago
2007
Springer
The vast majority of the features used in today’s commercially deployed image search systems employ techniques that are largely indistinguishable from text-document search – t...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
The widespread availability of broadband connections has led to an increase in the use of Internet broadcasting (webcasting). Most webcasts are archived and accessed numerous time...
ITNG
2007
IEEE
14 years 2 months ago
2007
IEEE
— It has been almost four decades since the idea of software reuse was proposed. Many success stories have been told, yet it is believed that software reuse is still in the devel...