Sciweavers

1052 search results - page 2 / 211
» Foundations for Virtual Types
Sort
View
SSD
1993
Springer
152views Database» more  SSD 1993»
13 years 11 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
TOPLAS
2010
93views more  TOPLAS 2010»
13 years 5 months ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...
OOPSLA
2010
Springer
13 years 5 months ago
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
Stefan Marr
JUCS
2010
154views more  JUCS 2010»
13 years 5 months ago
SimCon: A Tool to Support Rapid Evaluation of Smart Building Application Design using Context Simulation and Virtual Reality
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
Kris McGlinn, Eleanor O'Neill, Alan Gibney, Declan...