2231 search results - page 296 / 447 » Alternation as a programming paradigm |
168
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
159
click to vote
BPM
2004
Springer
16 years 5 days ago
2004
Springer
Workflow designers experience considerable freedom in designing the smaller steps (or activities) within a process. An operational notion of activity cohesion and coupling may help...
196
click to vote
DALT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
170
click to vote
ESTIMEDIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
181
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...