1816 search results - page 90 / 364 » Trace oblivious computation |
112
Voted
WISEC
2010
ACM
15 years 6 months ago
2010
ACM
Currently, companies are about to optimize their internal processes by monitoring items they handle with Radio Frequency Identification (RFID). However, there is a risk that sens...
97
Voted
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We initiate the study of two-party cryptographic primitives with unconditional security, assuming that the adversary’s quantum memory is of bounded size. We show that oblivious ...
80
Voted
MFCS
1993
Springer
15 years 4 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
95
Voted
CSR
2006
Springer
15 years 4 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
101
Voted
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...