81 search results - page 9 / 17 » A Calculus for Semantic Composition and Scoping |
INFORMATICALT
2008
13 years 7 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
JLP
2011
12 years 10 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
ECOOP
2000
Springer
13 years 11 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
End-user service composition is a promising way to ensure flexible, quick and personalized information provision and utilization, and consequently to better cope with spontaneous ...
JSW
2007
13 years 7 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...