111 search results - page 11 / 23 » Source Code Composition with the Reuseware Composition Frame... |
133
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
73
Voted
ENTCS
2010
15 years 25 days ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
108
Voted
SEMWEB
2001
Springer
15 years 5 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
110
click to vote
ICCV
2009
IEEE
14 years 10 months ago
2009
IEEE
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
133
click to vote
MBEES
2008
15 years 2 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...