3583 search results - page 118 / 717 » A Type System for the Relational Calculus of Object Systems |
ICMCS
1994
IEEE
14 years 1 months ago
1994
IEEE
Abstract
PR
2002
13 years 8 months ago
2002
In video database systems, one of the most important methods for discriminating the videos is by using the objects and the perception of spatial and temporal relations that exist ...
CC
2003
Springer
14 years 2 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Significant research has been dedicated to methods that estimate the available bandwidth in a network from traffic measurements. While estimation methods abound, less progres...
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...