1818 search results - page 280 / 364 » Granularity-Adaptive Proof Presentation |
123
Voted
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
107
click to vote
IH
2005
Springer
15 years 9 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
136
click to vote
PKC
2005
Springer
15 years 9 months ago
2005
Springer
RSA-KEM is a popular key encapsulation mechanism that combines the RSA trapdoor permutation with a key derivation function (KDF). Often the details of the KDF are viewed as orthogo...
132
Voted
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
118
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...