866 search results - page 103 / 174 » A compositional semantics for CHR |
169
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
148
click to vote
FUIN
2006
15 years 6 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
246
click to vote
Book
"Most books that use MATLAB are aimed at readers who know how to program. This book is for people who have never programmed before. As a result, the order of presentation is u...
147
click to vote
SAMT
2007
Springer
16 years 7 days ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
146
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...