458 search results - page 35 / 92 » Designing and executing protocols using the event calculus |
DC
2008
13 years 9 months ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
CRYPTO
2011
Springer
12 years 8 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...