2012 search results - page 346 / 403 » CORAL - Control, Relations and Logic |
155
click to vote
TCC
2007
Springer
16 years 9 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
175
click to vote
TLCA
2007
Springer
16 years 9 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...
164
click to vote
ANSS
2006
IEEE
16 years 8 days ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
153
click to vote
IJCNN
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
140
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
Reconfigurable computing applications have traditionally had the exclusive use of the field programmable gate array, primarily because the logic densities of the available devices...