8446 search results - page 1163 / 1690 » A Process Compensation Language |
207
click to vote
EUROMICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
190
click to vote
IDEAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Updating XML documents submitted to schema constraints requires incremental validation, i.e. checking the parts of the document concerned by the updates. We propose to correct sub...
155
click to vote
FDL
2005
IEEE
16 years 20 days ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
195
click to vote
ICMCS
2005
IEEE
16 years 20 days ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
188
click to vote
LICS
2005
IEEE
16 years 19 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...