2687 search results - page 360 / 538 » Formal Analysis of PKCS |
172
click to vote
NCA
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
148
click to vote
MMSEC
2005
ACM
16 years 3 days ago
2005
ACM
—This work investigates a central problem in steganography, that is: How much data can safely be hidden without being detected? To answer this question a formal definition of st...
171
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
135
click to vote
BPM
2005
Springer
16 years 2 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
173
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...