1445 search results - page 272 / 289 » Properties of state spaces and their applications |
199
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
This article describes an application of the partially observable Markov (POM) model to the analysis of a large scale commercial web search log. Mathematically, POM is a variant o...
203
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Clock synchronization is highly desirable in many sensor networking applications. It enables event ordering, coordinated actuation, energy-efficient communication and duty cyclin...
166
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
200
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
161
click to vote
WWW
2003
ACM
16 years 1 hour ago
2003
ACM
Personal webservers have proven to be a popular means of sharing files and peer collaboration. Unfortunately, the transient availability and rapidly evolving content on such host...