Sciweavers

2969 search results - page 294 / 594
» The Case for User-Centered CASE Tools
Sort
View
CRYPTO
2009
Springer
89views Cryptology» more  CRYPTO 2009»
16 years 1 months ago
Linear Algebra with Sub-linear Zero-Knowledge Arguments
We suggest practical sub-linear size zero-knowledge arguments for statements involving linear algebra. Given commitments to matrices over a finite field, we give a sub-linear siz...
Jens Groth
ERSHOV
2009
Springer
16 years 1 months ago
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Sc...
OOPSLA
2009
Springer
16 years 1 months ago
Model transformation by demonstration
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
Yu Sun
SSD
2009
Springer
124views Database» more  SSD 2009»
16 years 1 months ago
ELKI in Time: ELKI 0.2 for the Performance Evaluation of Distance Measures for Time Series
ELKI is a unied software framework, designed as a tool suitable for evaluation of dierent algorithms on high dimensional realvalued feature-vectors. A special case of high dimens...
Elke Achtert, Thomas Bernecker, Hans-Peter Kriegel...
DOLAP
2009
ACM
16 years 1 months ago
LMDQL: link-based and multidimensional query language
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
Paulo Caetano da Silva, Fábio Santos Souza,...