9425 search results - page 1565 / 1885 » Some Notes on Models and Modelling |
186
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
155
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
158
click to vote
PODS
1995
ACM
15 years 10 months ago
1995
ACM
d abstract Marc Andries, Leiden University Luca Cabibbo, University of Romey Jan Paredaens, University of Antwerpz Jan Van den Bussche, INRIAx In the context of object databases...
178
click to vote
STOC
1995
ACM
15 years 10 months ago
1995
ACM
This paper contributes tothe study of nonlinear dynamical systems from a computational perspective. These systems are inherently more powerful than their linear counterparts (such...
164
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...