3229 search results - page 496 / 646 » Theories with the Independence Property |
182
click to vote
PROVSEC
2007
Springer
16 years 19 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
187
click to vote
TLCA
2007
Springer
16 years 19 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
149
click to vote
3DPVT
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
196
click to vote
DASC
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
176
click to vote
ECRTS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...