5818 search results - page 977 / 1164 » A reasonable Semantic Web |
161
click to vote
FOSSACS
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
152
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
184
click to vote
INDOCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
190
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
140
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...