2137 search results - page 181 / 428 » Proving Abstract Non-interference |
110
click to vote
RELMICS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
133
Voted
RTA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
111
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper considers a sensor based haptic feedback law for control of the longitudinal dynamics of a vehicle. The environment impedance is implemented in parallel as f...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
101
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...