2106 search results - page 155 / 422 » Operational Semantics for DyLPs |
140
click to vote
IANDC
2006
15 years 6 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
171
click to vote
ENTCS
2000
15 years 6 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
162
click to vote
SCP
2010
15 years 4 months ago
2010
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
191
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
180
click to vote
EDOC
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...