9370 search results - page 72 / 1874 » An Abstract Notion of Application |
107
click to vote
CSL
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
128
Voted
ALP
1992
Springer
15 years 4 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
113
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
93
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
102
Voted
FMOODS
2006
15 years 2 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...