5255 search results - page 323 / 1051 » Formal Methods for Privacy |
123
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We describe the scope, organization, and expected outcomes of the Task Forces of the EternalS Coordination Action. The goal of the Task Forces is to provide structure and focus to ...
129
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
161
click to vote
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
172
click to vote
SAS
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
141
Voted
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...