2226 search results - page 271 / 446 » Pdk: The System and Its Language |
191
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...
177
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
171
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
163
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
197
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...