Sciweavers

10293 search results - page 167 / 2059
» Describing Semistructured Data
Sort
View
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
15 years 10 months ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
SDMW
2005
Springer
15 years 10 months ago
Experiments with Queries over Encrypted Data Using Secret Sharing
To avoid insider attacks one cannot rely on access control to protect a database scheme. Encrypting the database is a better option. This paper describes a working prototype of an ...
Richard Brinkman, Berry Schoenmakers, Jeroen Doume...
WEBI
2005
Springer
15 years 10 months ago
The WebCAT Framework - Automatic Generation of Meta-Data for Web Resources
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
Bruno Martins, Mário J. Silva
OOPSLA
1998
Springer
15 years 8 months ago
Data Groups: Specifying the Modification of Extended State
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
K. Rustan M. Leino
IFL
2000
Springer
15 years 8 months ago
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
Clemens Grelck