104 search results - page 6 / 21 » EPOS: An Object-Oriented Operating System |
ISCOPE
1997
Springer
13 years 12 months ago
1997
Springer
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...
TOOLS
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
TSE
2008
13 years 7 months ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...
GCC
2003
Springer
14 years 27 days ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...