3103 search results - page 509 / 621 » Intelligent Multimedia Communication |
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
137
Voted
ARGMAS
2005
Springer
15 years 9 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
123
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...
138
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
121
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...