4099 search results - page 109 / 820 » A Framework for Interactive Proof |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
APLAS
2009
ACM
15 years 1 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
SIAMDM
2008
14 years 9 months ago
2008
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
CMMR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we describe an approach to a musical framework with interactions among numerous physical autonomous devices. The devices behave as metaphors of life and self-organiz...