8699 search results - page 162 / 1740 » Elements of the Theory of Computation |
106
click to vote
TPHOL
2008
IEEE
15 years 6 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...
113
click to vote
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
116
click to vote
DSOM
2005
Springer
15 years 5 months ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
104
click to vote
EIT
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...