640 search results - page 8 / 128 » Discovering State Invariants |
ICDM
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
IS
2007
13 years 10 months ago
2007
As data mining techniques are being increasingly applied to non-traditional domains, existing approaches for finding frequent itemsets cannot be used as they cannot model the req...
IVC
2008
13 years 10 months ago
2008
In this paper, we present a novel approach to classify texture collections. This approach does not require experts to provide annotated training set. Given the image collection, w...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
FM
2003
Springer
14 years 4 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...