13397 search results - page 4 / 2680 » From Static Distributed Systems to Dynamic Systems |
TGC
2007
Springer
15 years 4 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
100
Voted
IFIP
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
106
click to vote
CONCUR
2009
Springer
14 years 8 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
81
Voted
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...