2596 search results - page 32 / 520 » Gradual Typing for Objects |
POPL
1998
ACM
15 years 3 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
101
click to vote
ECSQARU
2005
Springer
15 years 4 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
SIAMCOMP
2008
14 years 11 months ago
2008
Helly's theorem says that, if every d+1 elements of a given finite set of convex objects in Rd have a common point, there is a point common to all of the objects in the set. I...
AINA
2005
IEEE
15 years 4 months ago
2005
IEEE
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
GIS
2009
ACM
15 years 3 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...