3624 search results - page 563 / 725 » Abstract Algebraic Logic |
175
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
146
click to vote
ISVLSI
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...
155
click to vote
ACNS
2006
Springer
16 years 4 days ago
2006
Springer
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...
192
Voted
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
151
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Detecting and unraveling incipient coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have ...