3931 search results - page 564 / 787 » Separation logic and abstraction |
203
click to vote
RECONFIG
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...
177
Voted
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
229
Voted
ICEIS
2005
IEEE
16 years 27 days ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
213
click to vote
TPHOL
2005
IEEE
16 years 26 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
232
click to vote
FOSSACS
2005
Springer
16 years 24 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...