1034 search results - page 82 / 207 » Wide Classes |
EDCC
2006
Springer
14 years 13 days ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
ERCIMDL
2006
Springer
14 years 13 days ago
2006
Springer
Digital libraries have untapped potential for supporting language teaching and learning. Although the Internet at large is widely used for language education, it has critical disad...
FOSSACS
2006
Springer
14 years 13 days ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
RT
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
AFP
1995
Springer
14 years 10 days ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...