254 search results - page 33 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
105
click to vote
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
TIT
2011
14 years 6 months ago
2011
In this paper, we establish a many-sources large deviations principle (LDP) for the stationary workload of a multi-queue single-server system with simplex capacity, operated under...
106
click to vote
IS
2011
14 years 6 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
115
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
88
Voted
TSP
2010
14 years 6 months ago
2010
We derive the entropy rate formula for a complex Gaussian random process by using a widely linear model. The resulting expression is general and applicable to both circular and non...