6274 search results - page 93 / 1255 » Proofs, Programs, Processes |
IJCAI
2007
15 years 1 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
55
Voted
CORR
2007
Springer
14 years 12 months ago
2007
Springer
Inertial energy scavengers are self-contained devices which generate power from ambient motion, by electrically damping the internal motion of a suspended proof mass. There are si...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
102
click to vote
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
115
click to vote
SYNASC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...