1453 search results - page 105 / 291 » State and history in operating systems |
127
Voted
AMAST
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
71
Voted
WSC
2004
15 years 2 months ago
2004
As part of the new security environment at the nation's airports, discrete event simulation modeling was applied shortly after 9-11 to understand the operational dynamics of ...
120
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
120
Voted
ARGMAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
117
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...