5255 search results - page 529 / 1051 » Formal Methods for Privacy |
156
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
185
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
224
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
205
click to vote
ISI
2010
Springer
15 years 5 months ago
2010
Springer
Social Media provide an exciting and novel view into social phenomena. The vast amounts of data that can be gathered from the Internet coupled with massively parallel supercomputer...
270
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Social media has changed the way that people collaborate and share information. In this paper, we highlight its impact for enabling new ways for software teams to form and work to...