Sciweavers

9832 search results - page 215 / 1967
» An Object Model for Multiprogramming
Sort
View
ECOOP
2004
Springer
15 years 12 months ago
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
Robert DeLine, Manuel Fähndrich
DATESO
2006
103views Database» more  DATESO 2006»
15 years 8 months ago
CellStore - the Vision of Pure Object Database
Abstract. This paper describes a vision of CellStore, a kind of universal database system, which would be capable of storing and operating on several different data models
Jan Vraný
ENTCS
2008
153views more  ENTCS 2008»
15 years 6 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
CAD
2007
Springer
15 years 6 months ago
A B-spline-based approach to heterogeneous objects design and analysis
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
Pinghai Yang, Xiaoping Qian
CAIP
2009
Springer
185views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Coarse-to-Fine Tracking of Articulated Objects Using a Hierarchical Spring System
Abstract. Tracking of articulated objects is a challenging task in Computer Vision. A highly target specific model can improve the robustness of the tracking by eliminating or red...
Nicole M. Artner, Adrian Ion, Walter G. Kropatsch