1661 search results - page 230 / 333 » Real-time specification patterns |
121
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
120
click to vote
EDBT
2006
ACM
15 years 5 months ago
2006
ACM
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
The activity of babies and more specifically the posture of babies is an important aspect in their safety and development. In this paper, we studied the automatic classification o...
127
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
124
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...