2838 search results - page 138 / 568 » Verifying Controlled Components |
86
Voted
IASTEDSEA
2004
15 years 2 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
15 years 26 days 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...
95
Voted
RAS
2002
15 years 13 days 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...
119
Voted
SP
2002
IEEE
15 years 13 days 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...
111
Voted
IFIP
2010
Springer
14 years 7 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...