1124 search results - page 32 / 225 » Refined quorum systems |
ENTCS
2007
15 years 1 months ago
2007
121
click to vote
SIAMCOMP
2000
15 years 1 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
126
click to vote
WER
2010
Springer
14 years 11 months ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
102
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
DAGSTUHL
2006
15 years 3 months ago
2006
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...