The functional dendritic cell algorithm: a formal specification with Haskell
The Dendritic Cell Algorithm (DCA) has been described in a number of different ways, sometimes resulting in incorrect implementations. We believe this is due to previous, imprecise attempts to describe the algorithm. The main contribution of this paper is to remove this imprecision through a new app...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2017
|
| Online Access: | http://eprints.nottingham.ac.uk/41366/ http://eprints.nottingham.ac.uk/41366/ http://eprints.nottingham.ac.uk/41366/1/CEC17-GG-hDCA_CRC.pdf |