265 search results - page 3 / 53 » Weakly Algebraizable Logics |
116
Voted
PODC
2012
ACM
12 years 12 months ago
2012
ACM
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
151
click to vote
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
KR
2004
Springer
15 years 2 months ago
2004
Springer
FCT
2003
Springer
15 years 2 months ago
2003
Springer