1894 search results - page 317 / 379 » A TLA Proof System |
159
click to vote
CC
2010
Springer
16 years 26 days ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
134
click to vote
ICRA
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
198
click to vote
ICST
2009
IEEE
16 years 21 days ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
190
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
144
click to vote
IFIP
2009
Springer
16 years 18 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...