2137 search results - page 247 / 428 » Proving Abstract Non-interference |
99
Voted
MOC
2002
15 years 3 months ago
2002
Abstract. In this paper, we are interested in solving the so-called norm equation NL/K(x) = a, where L/K is a given arbitrary extension of number fields and a a given algebraic num...
141
Voted
TCS
2002
15 years 3 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
112
click to vote
RC
2007
15 years 3 months ago
2007
Abstract. “Computing the pessimism” means bounding the overestimation produced by an inclusion function. There are two important distinctions with classical error analysis. Fir...
137
click to vote
DGCI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We recently introduced the watershed cuts, a notion of watershed in edge-weighted graphs. In this paper, we propose a new thinning paradigm to compute them. More precisel...
151
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...