12289 search results - page 451 / 2458 » computing 2006 |
152
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
137
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
137
click to vote
COMPUTER
2006
15 years 6 months ago
2006
egrating middleware layer that abstracts the execution environment and implements services and communication channels, and
130
Voted
CHI
2006
ACM
16 years 6 months ago
2006
ACM