2136 search results - page 327 / 428 » A Game-Theoretic Operational Semantics |
130
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
139
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
152
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
148
click to vote
NDSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
127
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...