Evolutionary synthesis of communication protocols

10th International Conference on Telecommunications, ICT 2003

Volumn 2, Issue , 2003, Pages 986-993

  Araujo S G ^a   Pedroza, A C P ^a   Mesquita, A C ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL STORAGE; LOGIC CIRCUITS; SPECIFICATIONS;

EVOLUTIONARY TECHNIQUES; FINITE-STATE MODELS; PARTIAL SEQUENCES; PROTOCOL DATA UNITS; PROTOCOL DESIGNERS; PROTOCOL SPECIFICATIONS; SERVICE SPECIFICATIONS; TRAINING SEQUENCES;

SYNTHESIS (CHEMICAL);

EID: 33745647205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTEL.2003.1191573     Document Type: Conference Paper

References (26)

1. rd edition, pp. 27, 1996.
2. H. Yamaguchi, Implementation of Service Specifications on Distributed Computing Systems, PhD thesis, Osaka University, 1998.
3. K. El-Fakih, H. Yamaguchi, G. Bochmann and T. Higashino, Protocol Re-synthesis Based on Extended Petri Nets, in Proc. of Int. Workshop on Software Eng. and Petri Nets (SEPN-2000), pp. 173-188, 2000.
4. H. Yamaguchi, K. Okano, T. Higashino and K. Taniguchi, Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers, in Proc. of ICDCS-15, pp. 510-517, 1995.
5. th Int. Conf. on Distributed Computing Systems, 1996.
6. th IASTED Int. Conf. on Parallel and Distributed Computing and Systems, (PDCS'99), 1999.
7. L. Fogel, Autonomous Automata, Industrial Research, 4:14-19, 1962.
8. L. Fogel, A. Owens and M. Walsh, Artificial Intelligence Through Simulated Evolution, John Wiley & Sons, New York, 1966.
9. D. Golberg, Genetic Algorithm in Search, Optimization and Machine Learning, Addison-Wesley, 1989.
10. J. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection, MIT Press, 1992.
11. C. Manovit, C. Aporntewan and P. Chongstitvatana, Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences, in Proc. of Int. Conf. of Evolvable Systems (ICES'98), pp. 98-105, 1998.
12. st Int. Conf. on Simulation of Adaptive Behavior, MIT Press, 1991.
13. st NASA/DoD Workshop on Evolvable Hardware, pp. 262-266, 1999.
14. th National Conf. on Artificial Intelligence, AAAI Press, 1997.
15. H. Hemmi, J. Mizoguchi and K. Shimohara, Evolving Large Scale Digital Circuits, Artificial Life V, pp. 53-58, 1995.
16. G. Bockmann and A. Petrenko, Protocol Testing: A Review of Methods and Relevance for Software Testing, ISSTA'94, ACM Int. Symposium on Software Testing and Analysis, Seattle, U.S.A., pp. 109-124, 1994.
17. K. Tai and Y. Young, Synchronizable Test Sequences of Finite State Machines, Computer Networks and ISDN Systems, 30:1111-1134, 1995.
18. J. Rosca, Hierarchical Learning with Procedural Abstractions Mechanisms, PhD Thesis, University of Rochester, New York, 1997.
19. st edition, 1975.
20. A. Ratle and M. Sebag, Genetic Programming and Domain Knowledge: Beyond the Limitations of Grammar-Guided Machine Discovery, Parallel Problem Solving from Nature (PPSN-VI), pp. 211-220, 2000.
21. P. Whigham, Grammatically-Based Genetic Programming, in Proc. of the Workshop on Genetic Programming: From the Theory to Real-World Applications, pp. 33-41, Morgan Kaufman, 1995.
22. H. Hömer, A C++ Class Library for Genetic Programming, Release 1.0 Operating Instructions, Viena University of Economy, 1996.
23. A. Khoumsi, and K. Saleh, Two Formal Methods for the Synthesis of Discrete Event Systems, Computer Networks and ISDN Systems, Vol. 29, No. 7, pp. 759-780, 1997.
24. A. Khoumsi, G. Bochmann and R. Dssouli, Protocol Synthesis for Real-Time Applications, Joint Int. Conf. on Protocol Specification, Testing and Verification (PSTV) and FORTE, Beijing, China, 1999.
25. W. Feller, An Introduction to Probability Theory and its Applications, Vol. I, Wiley, pp. 224-225, 1968.
26. R. Cleaveland, J. Parrow and B. Steffen, The Concurrency Workbench: A Semantics Based Toll for the Verification of Concurrent System, ACM Transactions on Programming Languages and Systems, 15(1):36-72, 1994.