1916 search results - page 161 / 384 » Reasoning with class algebra |
140
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
134
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
134
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
129
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
116
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...