Sciweavers

521 search results - page 34 / 105
» Object-Oriented Modeling of Object-Oriented Concepts
Sort
View
61
Voted
JOT
2002
98views more  JOT 2002»
15 years 6 days ago
Object Oriented Extension to Time Series Model
Dilip Patel, Shushma Patel, Paul Schleifer
MOBILWARE
2010
ACM
14 years 10 months ago
An Object-Oriented Model in Support of Context-Aware Mobile Applications
Felix Dobslaw, Aron Larsson, Theo Kanter, Jamie Wa...
HPDC
2002
IEEE
15 years 5 months ago
Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
Françoise Baude, Denis Caromel, Fabrice Hue...
TPHOL
1998
IEEE
15 years 4 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
99
Voted
ECOOP
1998
Springer
15 years 4 months ago
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohana...