9067 search results - page 1707 / 1814 » Adaptive Model Checking |
144
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The Hopper-Blum (HB) protocol, which uses noised linear parities of a shared key for authentication, has been proposed for light-weight applications such as RFID. Recently, algorit...
301
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
175
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- In robot deployment problems, the fundamental issue is to optimize a steady state performance measure that depends on the spatial configuration of a group of robots. For...
199
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
134
click to vote
COGSR
2010
15 years 1 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...