359 search results - page 37 / 72 » Modeling Consensus in a Process Calculus |
CCS
2011
ACM
12 years 10 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
FTCS
1998
13 years 11 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
INLG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
IWQOS
2005
Springer
14 years 3 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...