9842 search results - page 383 / 1969 » Compositional timing analysis |
161
click to vote
PEPM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
148
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
119
click to vote
FIW
2007
15 years 6 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
147
Voted
IADIS
2003
15 years 6 months ago
2003
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
188
Voted
VMV
2007
15 years 6 months ago
2007
We present an image editing tool that allows to deform and composite image regions using an intuitive sketch-based interface. Users simply draw the outline of the source image reg...