3134 search results - page 117 / 627 » Computing full disjunctions |
147
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
116
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
— We concern ourselves with the process of making optimized production planning decisions in the face of low frequency, high impact uncertainty, which takes the form of a small n...
99
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
194
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
130
Voted
WMTE
2002
IEEE
15 years 7 months ago
2002
IEEE
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...