5790 search results - page 594 / 1158 » Distributed programming with distributed authorization |
155
click to vote
ICML
2000
IEEE
15 years 9 months ago
2000
IEEE
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
154
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
137
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
132
click to vote
CAISE
1999
Springer
15 years 9 months ago
1999
Springer
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...
126
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present the ParAL system which compiles Matlab scripts into C programs with calls to a parallel run-time library. The novel feature of the compiler is the optimisation of array...