References - Autonomous and Autonomic Systems - page 259

106. R. Patil, R. Fikes, P. Patel-Schneider, D. McKay, T. Finin, T. Gruber, and
R. Neches. The DARPA knowledge sharing effort: Progress report. In Proc.
KR'92, The Annual International Conference on Knowledge Acquisition , pages
599-600, Cambridge, MA (USA), 1992.
107. L. D. Paulson. Computer system, heal thyself. IEEE Computer , 35(8):20-22,
2002.
108. B. Pell, D. E. Bernard, S. A. Chien, E. Gat, N. Muscettola, P. P. Nayak,
M. D. Wagner, and B. C. Williams. An autonomous spacecraft agent proto-
type. Autonomous Robots , 5(1):29-52, 1998.
109. J. P. Pickett, editor. American Heritage Dictionary of the English Language .
Houghton Miin, Boston, 4th edition, 2005.
110. J. Pitt and A. Mamdani. Some remarks on the semantics of FIPA's Agent
Communication Language. Autonomous Agents and Multi-Agent Systems , 2(4):
333-356, 1999.
111. J. L. Rash, M. G. Hinchey, C. A. Rouff, and D. Gracanin. Formal requirements-
based programming for complex systems. In Proc. International Conference
on Engineering of Complex Computer Systems , Shanghai (China), 16-20 June
2005. IEEE Computer Society Press.
112. J. L. Rash, M. G. Hinchey, C. A. Rouff, D. Gracanin, and J. D. Erickson.
Experiences with a requirements-based programming approach to the develop-
ment of a NASA autonomous ground control system. In Proc. IEEE Workshop
on Engineering of Autonomic Systems (EASe 2005) Held at the IEEE Inter-
national Conference and Workshop on the Engineering of Computer Based
Systems (ECBS 2005) . IEEE Computer Society Press, 3-8 April 2005.
113. J. L. Rash, C. A. Rouff, W. F. Truszkowski, D. Gordon, and M. G. Hinchey,
editors. Formal Approaches to Agent-Based Systems, First International Work-
shop, FAABS 2000 , Greenbelt, MD (USA), April, 2000, Revised Papers, Lec-
ture Notes in Computer Science, Lecture Notes in Artificial Intelligence, volume
1871. Springer, 2001.
114. M. D. Rayman, P. Varghese, D. H. Lehman, and L. L. Livesay. Results from
the Deep Space 1 technology validation mission. Acta Astronautica , 47(2-9):
475-487, 2000.
115. C. W. Reynolds. Flocks, herds, and schools: A distributed behavioral model.
Computer Graphics , 21(4):25-34, 1987.
116. C.K.RiesbeckandR.C.Schank. Inside Case-Based Reasoning . Lawrence
Erlbaum Associates, Hillsdale, NJ, 1989.
117. C. Rouff. A test agent for testing agents and their communities. In Proc. IEEE
Aerospace Conference , Big Sky, MT (USA), March 2002.
118. C. Rouff and M. Hinchey. Modeling the LOGOS multi-agent system with CSP.
In Proc. AAAI Spring Symposium, Technical Report SS-01-04 , 2001.
119. C. Rouff, J. Rash, M. Hinchey, and W. Truszkowski. Formal methods at NASA
Goddard Space Flight Center. In Agent Technology from a Formal Perspec-
tive , NASA Monographs in Systems and Software Engineering, pages 287-310.
Springer, London (UK), 2005.
120. C. Rouff and W. Truszkowski. A process for introducing agent technology into
782 space missions. In Proc. IEEE Aerospace Conference , Volume 6, pages
2925-2935, Big Sky, MT (USA), IEEE, 8-15 March 2001. 783.
121. C. Rouff, A. Vanderbilt, M. Hinchey, W. Truszkowski, and J. Rash. Proper-
ties of a formal method for prediction of emergent behaviors in swarm-based