Genetic algorithms for protocol validation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1141, Issue , 1996, Pages 870-879

  Alba, Enrique ^a   Troya, José M ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; EVOLUTIONARY ALGORITHMS; GENETIC ALGORITHMS; TRANSMISSION CONTROL PROTOCOL;

HAND MADE; PROTOCOL SIMULATOR; PROTOCOL VALIDATION;

PROBLEM SOLVING;

EID: 84958970982     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61723-X_1050     Document Type: Conference Paper

References (8)

1. Alba, E., Aldana, J. F. and Troya, JM., Genetic Algorithms as Heuristics for Optitnising ANN Design. R.F. Albrecht, C.R. Reeves and N.C. Steele (eds), Artificial Neural Nets and Genetic Algorithms, Innsbruck. Springer-Verlag, pp 683-690. (1993)
2. Alba, E., Aldana, J. F. and Troya, J. M., Load Balancing and Query Optimisation in Dataflow Parallel Evaluation of Datalog Programs. Lionel M. Ni (ed), Proceedings of the International Conference on Parallel and Distributed Systems, Taiwan. IEEE Computer Society Press, pp 682-688. (1994)
3. Beasley, D., Bull, D. R. and Martin, R. R., An Overview of Genetic Algorithms: Part 1 (Fundamentals) and Part 2 (Research Topics). University Computing, pp 58-69 15(2) and 15(4) pp 170-181. (1993)
4. Dfaz, M. and Troya, J.M., A Parlog Based Real-Time Distributed Environment. Future Generation Computer Systems 9, pp 201-218, North-Holland. (1993)
5. Goldberg, D. E., Genetic Algorithms, in Search, Optimization and Machine Learning. Addison-Wesley. (1989)
6. Fogel, L. J., Owens, A. J. and Walsh, M. J., Artificial Intelligence Through Simulated Evolution. New York, John Wiley. (1966)
7. ISO, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO IS 8807. (1989)
8. ISO, ESTELLE-A Formal Description Technique Based on State Transition Model. ISO 9074. (1989)