5015 search results - page 754 / 1003 » Model Checking a Path |
161
click to vote
IJHPCA
2006
15 years 6 months ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
176
click to vote
INFSOF
2006
15 years 6 months ago
2006
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
195
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
The large number of Web pages on many Web sites has raised navigational problems. Markov chains have recently been used to model user navigational behavior on the World Wide Web (W...
159
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we study the theory of collaborative upload bandwidth measurement in peer-to-peer environments. A host can use a bandwidth estimation probe to determine the bandw...
179
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
A practical lipreading system can be considered either as subject dependent (SD) or subject-independent (SI). An SD system is user-specific, i.e., customized for some particular ...