Sciweavers

3303 search results - page 276 / 661
» Multidimensional Access Methods
Sort
View
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
IFL
2000
Springer
15 years 10 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
SPIESR
2000
130views Database» more  SPIESR 2000»
15 years 8 months ago
Compression of large binary images in digital spatial libraries
A method for lossless compression of large binary images is proposed for applications where spatial access to the image is needed. The method utilizes the advantages of (1) variabl...
Eugene I. Ageenko, Pasi Fränti
JUCS
2008
135views more  JUCS 2008»
15 years 6 months ago
Approximation to a Behavioral Model for Estimating Traffic Aggregation Scenarios
: This article provides a comparison among different methods for estimating the aggregation of Internet traffic resulting from different users, network-access types and correspondi...
Alberto E. Garcia, Klaus D. Hackbarth
MIG
2010
Springer
15 years 4 months ago
Why Is the Creation of a Virtual Signer Challenging Computer Animation?
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
Nicolas Courty, Sylvie Gibet