2364 search results - page 47 / 473 » An Engine for Computing Well-Founded Models |
CHI
2006
ACM
16 years 6 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
EUC
2008
Springer
15 years 1 months ago
2008
Springer
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...
110
click to vote
DSN
2009
IEEE
14 years 9 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...