2651 search results - page 461 / 531 » Beliefs in Agent Implementation |
134
click to vote
CAISE
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
149
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...
150
Voted
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
In response to the occurrence of an air incident, controllers at one of the three Canadian Rescue Coordination Centers (RCC) must make a series of critical decisions on the appropr...
136
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
161
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...