752 search results - page 35 / 151 » Abstract models for dialogue protocols |
160
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
134
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
135
click to vote
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
144
click to vote
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
138
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...