1717 search results - page 237 / 344 » A Computable Spectral Theorem |
127
click to vote
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
164
Voted
STOC
2006
ACM
15 years 11 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
156
Voted
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
166
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
165
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...