MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Correction to "A Family of Directional Relation Models for Extended Objects"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

728,584 documents found, showing 1 through 10. Next 10 →

ATOM

Correctness of the
by Read Conditional-Write And, Michael Abd-el-malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie — 2005
… and writing objects in their entirety. The R/CW and Q/U protocols are correct in the asynchronous timing model…
Add To MetaCart

extended
by Frédéric Vogels, Bart Jacobs, Frank Piessens, Frédéric Vogels, Bart Jacobs, Frank Piessens, Frédéric Vogels, Bart Jacobs, Frank Piessens — 2008
… and the correctness proof for a very small object-oriented programming language. It is a very simple class…
Add To MetaCart

Correctness of Java Card Method Lookup via Logical Relations (Extended Abstract)
by Ewen Denney, Thomas Jensen — 2000 — In 9th European Symp. on Programming (ESOP
…Correctness of Java Card Method Lookup via Logical Relations (extended abstract) Ewen Denney…
Cited by 6 (4 self) – Add To MetaCart

Correct Object-Oriented Systems in
by Computational Logic Kung-Kiu, Kung-kiu Lau, Mario Ornaghi — 2002 — Proc. LOPSTR ’01, LNCS 2372
… and reusability. This paper extends it to ObjectOriented Systems, namely systems of cooperating objects, and is a…
Add To MetaCart

Typed Homomorphic Relations Extended with Subtypes
by Gary T. Leavens, Gary T. Leavens, Don Pigozzi, Don Pigozzi — 1991 — Mathematical Foundations of Programming Semantics '91
… is thus a family of relations, R, indexed by types, such that each R T may relate objects of all types…
Cited by 13 (11 self) – Add To MetaCart

Distributed Temporal Logic for Concurrent Object Families (Extended Abstract)
by Hans-dieter Ehrich, Gunter Saake, Cristina Sernadas — 1995 — Working papers of the International Workshop on Information Systems - Correctness and Reusability, pages 22--30. Vrije Universiteit Amsterdam, RapportNr. IR-357
…Distributed Temporal Logic for Concurrent Object Families Extended Abstract Hans-Dieter Ehrich…
Cited by 9 (3 self) – Add To MetaCart

On Correctly Configuring Versioned Objects
by Rakesh Agrawal, H. V. Jagadish — 1989 — Proc. VLDB
…, and then formally define what we mean by a correct configuration of object versions. 2.1 Transaction Model A…
Cited by 7 (0 self) – Add To MetaCart

Extending the ODMG Object Model with Composite Objects
by Elisa Bertino, Giovanna Guerrini — 1998 — In OOPSLA
… integrity, by deleting a relationship upon deletion of the participating objects. We extend that model…
Cited by 10 (0 self) – Add To MetaCart

Extending the Field of View of an Adaptively Corrected
by Telescope By Longitudinal, Michael Lloyd-hart
… is proposed to increase the corrected field of view of a telescope equipped with adaptive optics. The optical…
Add To MetaCart

An Extended
by Cencov-Campbell Characterization Of, Guy Lebanon
… and Campbell to the cone of positive conditional models, and as a special case to the manifold of conditional…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB