Sciweavers

1147 search results - page 207 / 230
» Transformation of Access Rights
Sort
View
ENTCS
2007
174views more  ENTCS 2007»
14 years 11 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
ENTCS
2007
118views more  ENTCS 2007»
14 years 11 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
SIAMSC
2008
151views more  SIAMSC 2008»
14 years 11 months ago
Accurate Floating-Point Summation Part I: Faithful Rounding
Given a vector of floating-point numbers with exact sum s, we present an algorithm for calculating a faithful rounding of s, i.e. the result is one of the immediate floating-point ...
Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi
SIGOPS
2008
90views more  SIGOPS 2008»
14 years 11 months ago
Virtual servers and checkpoint/restart in mainstream Linux
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
Sukadev Bhattiprolu, Eric W. Biederman, Serge E. H...
SPE
2008
140views more  SPE 2008»
14 years 11 months ago
A relational-XML data warehouse for data aggregation with SQL and XQuery
: Integration of multiple data sources is becoming increasingly important for enterprises that cooperate closely with their partners for e-commerce. OLAP enables analysts and decis...
Joseph Fong, Herbert Shiu, Davy Cheung