2272 search results - page 222 / 455 » A Calculus for |
181
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
The main goal of this paper is to describe a new semantic for conditional independence in terms of no double counting of uncertain evidence. For ease of exposition, we use probabi...
122
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
143
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Using a recent idea of Gaudry and exploiting rational representations of algebraic tori, we present an index calculus type algorithm for solving the discrete logarithm pr...
154
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
133
Voted
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...