6581 search results - page 447 / 1317 » Formalizing Design Patterns |
158
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
142
click to vote
ICDM
2005
IEEE
15 years 12 months ago
2005
IEEE
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segmenting an array in up to K segments. We want segments to be as monotonic as po...
175
click to vote
GBRPR
2005
Springer
15 years 12 months ago
2005
Springer
A method allowing to integrate syntactic and semantic approaches in an automatic segmentation process is described. This integration is possible thanks to the formalism of graphs....
139
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
127
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
Sequential Data This paper is about the unsuperviseddiscovery of patterns in sequencesof compositeobjects. A compositeobject may be describedas a sequenceof other, simpler data. In...