1173 search results - page 152 / 235 » On the Compositionality of Round Abstraction |
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
DAC
2000
ACM
14 years 11 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
MICCAI
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. We propose a non-parametric diffeomorphic image registration algorithm based on Thirion's demons algorithm. The demons algorithm can be seen as an optimization proce...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...