8337 search results - page 1493 / 1668 » Reasoning With Characteristic Models |
130
click to vote
PARLE
1991
15 years 8 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
150
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
152
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
142
click to vote
AFRICACRYPT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...
200
Voted
EATIS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...