42738 search results - page 230 / 8548 » Search Computing Systems |
170
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
120
Voted
WEBDB
2009
Springer
15 years 10 months ago
2009
Springer
With the rise of cloud computing, it is increasingly attractive for end-users (organizations and individuals) to outsource the management of their data to a small number of larges...
123
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...
160
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
127
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
We investigate the effect of search engine brand (i.e., the identifying name or logo that distinguishes a product from its competitors) on evaluation of system performance. This r...