3134 search results - page 117 / 627 » Computing full disjunctions |
198
click to vote
TLCA
2007
Springer
16 years 10 days 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...
156
click to vote
HICSS
2006
IEEE
16 years 9 days 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...
142
click to vote
BIRTHDAY
2004
Springer
15 years 11 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...
260
click to vote
FIDJI
2004
Springer
15 years 11 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...
178
click to vote
WMTE
2002
IEEE
15 years 11 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...