5326 search results - page 91 / 1066 » On what we can ensure |
160
click to vote
PPPJ
2006
ACM
16 years 7 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
153
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
158
click to vote
DIS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
161
click to vote
IJCAI
1997
15 years 7 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
164
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Working on a small campus has many advantages: Familiarity with the majority of faculty and staff, in-depth knowledge of how systems interact, adding the personal touch to each in...