January: Search Based On Social Insect Behavior

January is a group of interacting stateless model checkers. Each agent functions on a processor located on a super computer or a network of workstations (NOW). The agent's search pattern is a semi-random walk based on the behavior of the grey field slug (Agriolimax reticulatus), the house fly (...

Full description

Bibliographic Details
Main Author: Lamborn, Peter C.
Format: Others
Published: BYU ScholarsArchive 2005
Subjects:
Online Access:https://scholarsarchive.byu.edu/etd/307
https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1306&context=etd