394 search results - page 57 / 79 » Composition mechanisms for retrenchment |
126
click to vote
ICFP
2008
ACM
16 years 1 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 ...
111
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
151
Voted
ERCIMDL
2001
Springer
15 years 6 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
112
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
138
Voted
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...