3713 search results - page 331 / 743 » Constructing a Calculus of Programs |
156
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
150
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Frey and R¨uck gave a method to transform the discrete logarithm problem in the divisor class group of a curve over Fq into a discrete logarithm problem in some finite ...
159
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
132
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
142
click to vote
EUROCRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...