2468 search results - page 474 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
230
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
152
click to vote
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
149
click to vote
COMSUR
2008
15 years 3 months ago
2008
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resource...
146
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
139
click to vote
NETGAMES
2005
ACM
15 years 8 months ago
2005
ACM
We study the ‘background traffic’ resulting from tens of thousands of networked first person shooter (FPS) clients searching for servers on which to play. Networked, multiplay...