13706 search results - page 2569 / 2742 » Information Problems in Information Society |
185
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
176
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
155
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Consider a center possessing a trusted (tamper proof) device that wishes to securely compute a public function over private inputs that are contributed by some network nodes. In ne...
269
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Multiversion support for XML documents is needed in many critical applications, such as software configuration control, cooperative authoring, web information warehouses, and "...
255
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...