5255 search results - page 545 / 1051 » Formal Methods for Privacy |
207
Voted
JCP
2006
15 years 7 months ago
2006
Abstract-- In this paper, we propose a new map-based content sharing system 'MapWiki' for ubiquitous content distribution. In MapWiki, users can publish location-dependen...
128
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
172
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
161
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
200
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...