4217 search results - page 717 / 844 » Computational indistinguishability logic |
105
Voted
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
120
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
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...
106
Voted
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
99
Voted
AGILE
2008
Springer
15 years 7 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
98
Voted
ASAP
2007
IEEE
15 years 7 months ago
2007
IEEE
Currently, television sets with flat plasma and LCD screens with improved resolutions and better color quality are emerging. To fully utilize their capabilities, lower resolution...