Sciweavers

4385 search results - page 334 / 877
» Abstraction for Concurrent Objects
Sort
View
JOT
2007
102views more  JOT 2007»
15 years 6 months ago
Type Access Analysis: Towards Informed Interface Design
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
Friedrich Steimann, Philip Mayer
154
Voted
OTM
2005
Springer
16 years 6 days ago
A Meta-ontological Architecture for Foundational Ontologies
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
Heinrich Herre, Frank Loebe
188
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 9 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...
DGCI
2006
Springer
15 years 10 months ago
A New 3D Parallel Thinning Scheme Based on Critical Kernels
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...
Gilles Bertrand, Michel Couprie