3994 search results - page 58 / 799 » A Linear Logical Framework |
96
Voted
IEEESCC
2007
IEEE
15 years 6 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
90
Voted
POLICY
2005
Springer
15 years 6 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
103
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...
121
Voted
PKC
2012
Springer
13 years 2 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...
107
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, an improved differential cryptanalysis framework for finding collisions in hash functions is provided. Its principle is based on linearization of compression functi...