2645 search results - page 382 / 529 » Autonomous security for autonomous systems |
163
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
144
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we present a novel two-stage method to realize a lightweight but very capable hardware implementation of a Learning Classifier System for on-chip learning. Learning C...
194
click to vote
SIGMOBILE
2010
14 years 11 months ago
2010
We propose a non-persistent indoor localization system using a self-organizing reference grid of autonomous robot systems. The key idea is to continuously maintain accurate relati...
142
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Semantic caching augments cached data with a semantic description of the data. These semantic descriptions can be used to improve execution time for similar queries by retrieving ...
188
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Anonymity is one of the main motivations for conducting denial-of-service attacks. Currently, there is no mechanism to either identify the true source of an IP packet or to prov...