857 search results - page 21 / 172 » Will this paper ever be cited |
DAGSTUHL
2001
13 years 9 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
AAAI
2000
13 years 9 months ago
2000
Expert decision-makers often explain decisions by citing general principles. In some domains, however, it is nearly impossible to define principles intensionally so that they may ...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we describe PAG (Prototyping with Attribute Grammars), a framework for building Prolog prototypes from specifications based on attribute grammars, which we have dev...
IJMMS
2006
13 years 7 months ago
2006
Technology is frequently presented as a panacea for the support needs of the ageing population, based in part upon the commonly-cited assertion that computer and internet use has ...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
The World Wide Web has evolved into a distributed network of web applications facilitating the publication of information on a large scale. Judging whether such information can be ...