11328 search results - page 11 / 2266 » Timed Branching Processes |
101
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
It is a well known problem that the attack recovery of a self-healing system rolls back not only malicious transactions, but also legitimate transactions that are dependent on the...
ARC
2009
Springer
15 years 8 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
TCS
1998
15 years 1 months ago
1998
121
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
95
Voted
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...