Sciweavers

3104 search results - page 341 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
15 years 12 months ago
Design of a Free Piston Pneumatic Compressor as a Mobile Robot Power Supply
– The design of a free piston compressor (FPC) intended as a pneumatic power supply for pneumatically actuated autonomous robots is presented in this paper. The FPC is a proposed...
Jose Riofrio, Eric J. Barth
ATAL
2005
Springer
15 years 11 months ago
Formalization of a voting protocol for virtual organizations
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Ale...
ATAL
2009
Springer
15 years 7 months ago
Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
Henrique Lopes Cardoso, Eugénio C. Oliveira
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
16 years 17 days ago
Remote Low Frequency State Feedback Kinematic Motion Control for Mobile Robot Trajectory Tracking
— Teleoperated robots generally receive high level commands from a remote system, while accomplishing motion control through conventional means. We present a teleoperated system ...
Daniel Montrallo Flickinger, Mark A. Minor
EGCDMAS
2004
147views ECommerce» more  EGCDMAS 2004»
15 years 7 months ago
Should We Prove Security Policies Correct?
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
Sebastiano Battiato, Giampaolo Bella, Salvatore Ri...