6941 search results - page 533 / 1389 » Testing as a Certification Approach |
165
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
224
click to vote
RAS
2010
15 years 5 months ago
2010
— The problem of representing environments of a mobile robot has been studied intensively in the past. The predominant approaches for geometric representations are gridbased or l...
222
click to vote
BMVC
2010
15 years 5 months ago
2010
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...
200
click to vote
DMS
2010
15 years 5 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
200
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...