866 search results - page 75 / 174 » A compositional semantics for CHR |
126
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
125
Voted
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
131
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
140
click to vote
IEEESCC
2006
IEEE
15 years 11 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 ...
150
click to vote
ICSOC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...