2056 search results - page 354 / 412 » Detecting Errors in Spreadsheets |
APIN
2008
14 years 10 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Recent work has demonstrated that using a carefully designed dictionary instead of a predefined one, can improve the sparsity in jointly representing a class of signals. This has m...
CONSTRAINTS
2008
14 years 10 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
ENTCS
2010
14 years 10 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
DM
2008
14 years 10 months ago
2008
In this paper, we investigate cyclic sequences which contain as elements all k-subsets of {0, 1, . . . , n-1} exactly once such that the unions of any two consecutive k-subsets of...