401 search results - page 15 / 81 » Properties of academic paper references |
166
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
167
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
171
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
202
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
141
click to vote
SISAP
2008
IEEE
16 years 1 months ago
2008
IEEE
All pivot-based algorithms for similarity search use a set of reference points called pivots. The pivot-based search algorithm precomputes some distances to these reference points...