2979 search results - page 132 / 596 » Modelling secure multiagent systems |
158
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
159
click to vote
EUROPKI
2007
Springer
16 years 16 days ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
151
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
176
click to vote
ACIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
168
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...