Sciweavers

2056 search results - page 354 / 412
» Detecting Errors in Spreadsheets
Sort
View
APIN
2008
108views more  APIN 2008»
15 years 4 months ago
Achieving self-healing in service delivery software systems by means of case-based reasoning
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...
Stefania Montani, Cosimo Anglano
161
Voted
CORR
2010
Springer
275views Education» more  CORR 2010»
15 years 4 months ago
Dictionary Optimization for Block-Sparse Representations
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...
Kevin Rosenblum, Lihi Zelnik-Manor, Yonina C. Elda...
126
Voted
CONSTRAINTS
2008
109views more  CONSTRAINTS 2008»
15 years 4 months ago
The Design of the Zinc Modelling Language
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...
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Pet...
102
Voted
ENTCS
2010
75views more  ENTCS 2010»
15 years 4 months ago
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
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...
Giovanni Lagorio, Marco Servetto, Elena Zucca
DM
2008
100views more  DM 2008»
15 years 4 months ago
Cyclic sequences of k-subsets with distinct consecutive unions
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...
Meinard Müller, Masakazu Jimbo