2838 search results - page 138 / 568 » Verifying Controlled Components |
IASTEDSEA
2004
13 years 11 months ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
AAI
2006
13 years 10 months ago
2006
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
RAS
2002
13 years 10 months ago
2002
This paper proposes a statistical, non-feature based, attention mechanism for a mobile robot, termed Information Sampling. The selected data may be a single pixel or a number scat...
SP
2002
IEEE
13 years 10 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...