References - Autonomous and Autonomic Systems - page 260

systems. In Proc. 2nd IEEE International Conference on Software Engineering
and Formal Methods , Beijing (China), September 2004.
122. C. A. Rouff. Autonomy in future space missions. In Proc. IEEE Aerospace 788
Conference , Big Sky, MT (USA), March 2003. 789.
123. C. A. Rouff, M. G. Hinchey, J. L. Rash, W. F. Truszkowski, and D. Gordon-
Spears, editors. Agent Technology from a Formal Perspective . NASA Mono-
graphs in Systems and Software Engineering. Springer, London (UK), 2006.
124. C. A. Rouff, J. L. Rash, and M. G. Hinchey. Experience using formal methods
for specifying a multi-agent system. In Proc. Sixth IEEE International Con-
ference on Engineering of Complex Computer Systems (ICECCS 2000) ,Tokyo
(Japan), 2000. IEEE Computer Society Press.
125. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Verification
of NASA emergent systems. In Proc. 9th IEEE International Conference on
Engineering of Complex Computer Systems , Florence (Italy), April 2004. IEEE
Computer Society Press.
126. C. A. Rouff, W. F. Truszkowski, J. L. Rash, and M. G. Hinchey. A survey
of formal methods for intelligent swarms. Technical Report TM-2005-212779,
NASA Goddard Space Flight Center, Greenbelt, MD (USA), 2005.
127. L. Russell, S. Morgan, and E. Chron. Clockwork: A new movement in auto-
nomic systems. IBM Systems Journal , 42(1):77-84, 2003.
128. L. Russell, S. Morgan, and E. Chron. On-line model selection procedures in
Clockwork. In Proc. IJCAI Workshop on AI and Autonomic Computing: De-
veloping a Research Agenda for Self-Managing Computer Systems , Acapulco
(Mexico), 10 August 2003.
129. R. SAhoo, I. Rish, A. Oliner, M. Gupta, J. Moreira, S. Ma, R. Vilata, and
A. Sivasubramaniam. Autonomic computing features for large-scale server
management and control. In IJCAI Workshop on AI and Autonomic Com-
puting: Developing a Research Agenda for Self-Managing Computer Systems ,
Acapulco (Mexico), 10 August 2003.
130. M. Salehie and L. Tahvildari. Autonomic computing: emerging trends and open
problems. SIGSOFT Software Engineering Notes , 30(4):1-7, 2005.
131. M. Savage and M. Askenazi. Arborscapes: A swarm-based multi-agent ecologi-
cal disturbance model. Working paper 98-06-056, Santa Fe Institute, Santa Fe,
NM (USA), 1998.
132. P. Scerri, D. Pynadath, and M. Tambe. Towards adjustable autonomy for the
real-world. Journal of AI Research , 17:171-228, 2002.
133. T. P. Schetter, M. E. Campbell, and D. M. Surka. Multiple agent-based auton-
omy for satellite constellations. Artificial Intelligence , 145(1-2):147-180, 2003.
134. U. M. Schwuttke, J. R. Veregge, and A. G. Quan. Performance results of coop-
erating expert systems in a distributed real-time monitoring system. In Proc.
Third International Symposium on Artificial Intelligence, Robotics, and Au-
tomation for Space (I-SAIRAS 94) , pages 79-83, Pasadena, CA (USA), 18-20
April 1994. Jet Propulsion Laboratory.
135. R. Sherwood, J. Wyatt, H. Hotz, A. Schlutsmeyer, and M. Sue. Lessons learned
during implementation and early operations of the DS1 beacon monitor experi-
ment. In Proc. Third International Symposium on Reducing the Cost of Ground
Systems and Spacecraft Operations , Tainan (Taiwan), 1999.