89 search results - page 18 / 18 » A Resolution Calculus for Dynamic Semantics |
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
SSD
1993
Springer
13 years 9 months ago
1993
Springer
: 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...
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
SIGCOMM
2009
ACM
13 years 11 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...