10159 search results - page 234 / 2032 » System Design Validation Using Formal Models |
166
click to vote
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
162
click to vote
DKE
2008
15 years 3 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
123
click to vote
PDSE
2000
15 years 4 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
127
click to vote
WWW
2010
ACM
15 years 3 months ago
2010
ACM
Popularity of content in social media is unequally distributed, with some items receiving a disproportionate share of attention from users. Predicting which newly-submitted items ...
134
click to vote
CCE
2005
15 years 3 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...