8699 search results - page 346 / 1740 » Elements of the Theory of Computation |
149
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
150
click to vote
IJCAI
1989
15 years 8 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
122
click to vote
AIM
2006
15 years 8 months ago
2006
: This paper proposes a method based on composite indexes to reflect the level of computer
177
click to vote
JEC
2006
15 years 6 months ago
2006
Modern digital systems consist of a complex mix of computational resources, e.g. microprocessors, memory elements and reconfigurable logic. System partitioning
122
click to vote
JSC
2006
15 years 6 months ago
2006
We describe explicit methods of exhibiting elements of the Brauer groups of diagonal quartic surfaces. Using these methods, we compute the algebraic Brauer