2137 search results - page 191 / 428 » Proving Abstract Non-interference |
105
click to vote
WG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The computation of all minimal transversals of a given hypergraph in output-polynomial time is a long standing open question known as the transversal hypergraph generatio...
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
110
click to vote
APCCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...
121
click to vote
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
High performance application development remains challenging, particularly for scientists making the transition to a Grid environment. In general areas of computing, virtual envir...
129
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...