3101 search results - page 437 / 621 » Composing Adaptive Software |
151
click to vote
ISW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
166
click to vote
SAB
2004
Springer
15 years 11 months ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...
213
click to vote
KESAMSTA
2009
Springer
15 years 11 months ago
2009
Springer
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
175
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
With aggressive superscalar processors delivering diminishing returns, alternate designs that make good use of the increasing chip densities are actively being explored. One such ...
185
click to vote
ECCV
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...