Sciweavers

545 search results - page 31 / 109
» Comparison Between Two Practical Mix Designs
Sort
View
JUCS
2007
97views more  JUCS 2007»
13 years 8 months ago
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
: IMS Learning Design (IMS LD) is an interoperable and standardized language that enables the computational representation of Units of Learning (UoLs). However, its adoption and ex...
Davinia Hernández Leo, Andreas Harrer, Juan...
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
14 years 9 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
PEPM
2011
ACM
12 years 11 months ago
Adaptation-based programming in java
Writing deterministic programs is often difficult for problems whose optimal solutions depend on unpredictable properties of the programs’ inputs. Difficulty is also encounter...
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
SDB
1995
178views Database» more  SDB 1995»
14 years 5 days ago
A Semantics-based Approach to Design of Query Languages for Partial Information
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...
Leonid Libkin
PET
2010
Springer
14 years 17 days ago
Collaborative, Privacy-Preserving Data Aggregation at Scale
Combining and analyzing data collected at multiple locations is critical for a wide variety of applications, such as detecting and diagnosing malicious attacks or computing an acc...
Benny Applebaum, Haakon Ringberg, Michael J. Freed...