3689 search results - page 144 / 738 » A Language with Distributed Scope |
127
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
117
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
109
click to vote
POS
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
106
click to vote
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
114
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...