273 search results - page 35 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
102
click to vote
FTRTFT
1998
Springer
15 years 3 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
109
click to vote
WWW
2006
ACM
16 years 11 days ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
WWW
2008
ACM
16 years 11 days ago
2008
ACM
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...