3303 search results - page 623 / 661 » Multidimensional Access Methods |
ESOP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
ESWS
2005
Springer
14 years 4 months ago
2005
Springer
While classic information retrieval methods return whole documents as a result of a query, many information demands would be better satisfied by fine-grain access inside the docu...
MIR
2004
ACM
14 years 4 months ago
2004
ACM
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...
MM
2004
ACM
14 years 4 months ago
2004
ACM
The EXT3NS is a scalable file system designed to handle video streaming workload in large-scale on-demand streaming services. It is based on a special H/W device, called Network-S...
MOBICOM
2004
ACM
14 years 4 months ago
2004
ACM
—The traffic load of wireless LANs is often unevenly distributed among the access points (APs), which results in unfair bandwidth allocation among users. We argue that the load ...