434 search results - page 27 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
LOBJET
2000
13 years 7 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...