Sciweavers

1156 search results - page 6 / 232
» Compositional Methods for Information-Hiding
Sort
View
SERP
2004
13 years 8 months ago
Keeping Secrets within a Family: Rediscovering Parnas
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
H. Conrad Cunningham, Cuihua Zhang, Yi Liu
ECOOPW
1999
Springer
13 years 11 months ago
Correct Composition of Design Components
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
13 years 12 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
GRAPHICSINTERFACE
2011
12 years 11 months ago
Edge-constrained image compositing
The classic task of image compositing is complicated by the fact that the source and target images need to be carefully aligned and adjusted. Otherwise, it is not possible to achi...
Martin Eisemann, Daniel Gohlke, Marcus A. Magnor
IMPERIAL
1993
13 years 11 months ago
Laws of Parallel Synchronised Termination
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
David Sands