1204 search results - page 150 / 241 » Parallel concurrent ML |
161
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
113
Voted
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
146
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
136
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
120
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...