Sciweavers

836 search results - page 47 / 168
» An Object Semantic Model of SOFL
Sort
View
DBPL
1997
Springer
133views Database» more  DBPL 1997»
14 years 2 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
ENTCS
2010
84views more  ENTCS 2010»
13 years 10 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
13 years 8 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...
CAISE
2005
Springer
14 years 3 months ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
14 years 3 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe