3667 search results - page 379 / 734 » Software Rejuvenation - Modeling and Analysis |
149
click to vote
WOA
2007
15 years 7 months ago
2007
Abstract. Upper Ontologies are quickly becoming a key technology for integrating heterogeneous knowledge coming from different sources. In this technical report we analyse 7 Upper ...
166
click to vote
USAB
2010
15 years 5 months ago
2010
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
153
click to vote
CCE
2010
15 years 4 months ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
144
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
This paper introduces a new representation for describing routine tasks, called temporal task footprints. Routines are characterized by their temporal regularity or rhythm. Tempor...
187
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...