42 search results - page 2 / 9 » On the Termination Problem for Declarative XML Message Proce... |
PPDP
2005
Springer
13 years 10 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
ACMICEC
2003
ACM
13 years 10 months ago
2003
ACM
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
DC
2007
13 years 4 months ago
2007
An important problem in distributed systems is to detect termination of a distributed computation. A computation is said to have terminated when all processes have become passive a...
JPDC
2008
13 years 4 months ago
2008
We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is ...
GRID
2006
Springer
13 years 4 months ago
2006
Springer
A language for semi-structured documents, XML has emerged as the core of the web services architecture, and is playing crucial roles in messaging systems, databases, and document p...