5790 search results - page 676 / 1158 » Distributed programming with distributed authorization |
142
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
120
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...
128
click to vote
AADEBUG
2000
Springer
15 years 8 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
143
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
121
Voted
ECBS
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...