13489 search results - page 2390 / 2698 » Operating System |
160
click to vote
FPCA
1989
15 years 10 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
182
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
173
click to vote
FMLDO
1990
Springer
15 years 10 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...
139
click to vote
SP
1989
IEEE
15 years 10 months ago
1989
IEEE
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
158
click to vote
APGV
2007
ACM
15 years 10 months ago
2007
ACM
3D models are subject to a wide variety of processing operations such as compression, simplification or watermarking, which introduce slight geometric modifications on the shape. ...