295 search results - page 28 / 59 » Logic Channels: A Coordination Approach to Distributed Progr... |
CAISE
1999
Springer
15 years 2 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...
100
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
101
click to vote
ERLANG
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
PDP
2009
IEEE
15 years 4 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
CSUR
1999
14 years 9 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...