790 search results - page 113 / 158 » Extensible Data Management in the Middle-Tier |
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
Remote Direct Memory Access (RDMA) is a mechanism whereby data is moved directly between the application memory of the local and remote computer. In bypassing the operating system...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Vacation planning is a frequent laborious task which requires skilled interaction with a multitude of resources. This paper develops an end-to-end approach for constructing intra-...
ISCIS
2009
Springer
14 years 3 months ago
2009
Springer
—Range scanners are used in various applications in industry. Therefore, various range scanners, based on different working principles are developed. Among these, scanners using ...
JCDL
2009
ACM
14 years 3 months ago
2009
ACM
Web users are spending more of their time and creative energies within online social networking systems. While many of these networks allow users to export their personal data or ...