3583 search results - page 92 / 717 » A Type System for the Relational Calculus of Object Systems |
ER
1998
Springer
14 years 1 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
LICS
1987
IEEE
14 years 13 days ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
CGO
2006
IEEE
14 years 21 days ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
IMAGING
2003
13 years 10 months ago
2003
For over 3 decades, computer graphics technology has been developed to simulate physically accurate image of real scene. Meanwhile, useful tone mapping methods have been developed...