732 search results - page 119 / 147 » A Formal Model of Provenance in Distributed Systems |
124
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
A proxy signature scheme allows an entity to delegate its signing capability to another entity (proxy) in such a way that the proxy can sign messages on behalf of the delegator. Pr...
147
click to vote
WADT
1999
Springer
15 years 8 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
129
click to vote
JCB
2007
15 years 3 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
144
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
158
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...