3983 search results - page 441 / 797 » Conceptual logic programs |
175
click to vote
UIST
1999
ACM
15 years 9 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
144
click to vote
POS
1992
Springer
15 years 8 months ago
1992
Springer
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
134
click to vote
JCP
2008
15 years 4 months ago
2008
This paper presents a successful lab simulation experience to teach signal modulation and demodulation concepts in communication and computer networks to computer science and compu...
149
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
249
Voted
POPL
2007
ACM
16 years 5 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...