2436 search results - page 260 / 488 » An Experiment in the Design of Software Agents |
164
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
205
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...
158
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
155
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
233
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...