2838 search results - page 157 / 568 » Verifying Controlled Components |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
JIT
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper a multijoint robot for sewer inspection tasks is presented. In order to increase the operating scope the robot has been made able to run round or over obstacles, to ...
CARDIS
2000
Springer
14 years 2 months ago
2000
Springer
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...