10568 search results - page 526 / 2114 » Computer Intelligence and Formalization |
149
click to vote
IWPEC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
152
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
154
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The paper develops a generic framework for analyzing knowledge management in formal decision groups and applies it to council work. Requirements are deduced for a sociotechnical s...
208
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
129
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We present a symbolic algorithm for strongly connected component decomposition. The algorithm performs (n log n) image and preimage computations in the worst case, where n is the n...