3104 search results - page 21 / 621 » Using quantitative analysis to implement autonomic IT system... |
ITNG
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— With the increasing demand for secure and high-quality communications in public access wireless IP networks, it is very important to have an in-depth understanding of the relat...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
A modern server system must deliver a complex set of obligations towards its users. We study the concept of roles as autonomous encapsulations of a set of promises. Using virtuali...
JFR
2006
13 years 7 months ago
2006
We present the design and implementation of a vision-based feature tracking system for an autonomous helicopter. Visual sensing is used for estimating the position and velocity of...
SP
2008
IEEE
14 years 1 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...