6149 search results - page 17 / 1230 » Revealing the programming process |
IJCAI
2003
14 years 8 days ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
POPL
2002
ACM
14 years 11 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
DAGSTUHL
1996
14 years 6 days ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
MOBIS
2008
14 years 10 days ago
2008
: Attention to the specific characteristics of rather unstructured processes and the consequences for the modeling of these processes can only rarely be observed. This paper presen...
GROUP
1997
ACM
14 years 3 months ago
1997
ACM
In this paper, we present a cooperativehypermediabased process support system aimed on
exible business processes. An analysis of the communication, coordination and cooperation r...