2137 search results - page 180 / 428 » Proving Abstract Non-interference |
135
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
114
click to vote
DAGM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present an approach to compute the visual hulls of multiple people in real-time in the presence of occlusions. We prove that the resulting visual hulls are correct and...
128
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents an application-level non-blocking multicast scheme for dynamic DAG scheduling on large-scale distributedmemory systems. The multicast scheme takes int...
88
Voted
ISAAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Folding an n × n checkerboard pattern from a square of paper that is white on one side and black on the other has been thought for several years to require a paper squar...
121
click to vote
LORI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...