1833 search results - page 167 / 367 » Mechanized Verification with Sharing |
174
click to vote
COMPSEC
2008
15 years 6 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
159
click to vote
JNW
2008
15 years 6 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
192
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
151
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Typical gene expression clustering algorithms are restricted to a specific underlying pattern model while overlooking the possibility that other information carrying patterns may ...
150
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes a query algebra for queries over XML p2p databases that provides explicit mechanisms for modeling data dissemination, replication constraints, and for capturi...