Sciweavers

3104 search results - page 148 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Extending agent languages for autonomy
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
Felipe Rech Meneguzzi
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
15 years 10 months ago
A phenotypic analysis of GP-evolved team behaviours
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
Darren Doherty, Colm O'Riordan
CCR
2007
115views more  CCR 2007»
15 years 4 months ago
Analysis of the SPV secure routing protocol: weaknesses and lessons
We analyze a secure routing protocol, Secure Path Vector (SPV), proposed in SIGCOMM 2004. SPV aims to provide authenticity for route announcements in the Border Gateway Protocol (...
Barath Raghavan, Saurabh Panjwani, Anton Mityagin
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 8 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
AIA
2006
15 years 5 months ago
Recurrent and Concurrent Neural Networks for Objects Recognition
A system based on a neural network framework is considered. We used two neural networks, an Elman network [1][2] and a Kohonen (concurrent) network [3], for a categorization task....
Federico Cecconi, Marco Campenní