1180 search results - page 94 / 236 » Interaction Protocols in Agentis |
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
96
Voted
ACMDIS
2000
ACM
15 years 5 months ago
2000
ACM
Many sources of empirical data can be used to evaluate an interface (e.g., time to learn, time to perform benchmark tasks, number of errors on benchmark tasks, answers on question...
149
click to vote
EUROCRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...
108
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...
100
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...