Environmental Engineering Reference
In-Depth Information
In
Proc. 1st International Workshop on Distributed, Parallel and Network Ap-
plications (DPNA 2005)
, Fukuoka (Japan), 20-22 July 2005. IEEE Computer
Society Press.
58.
M. G. Hinchey, J. L. Rash, and C. A. Rouff. A formal approach to requirements-
based programming. In
Proc. IEEE International Conference and Workshop
on the Engineering of Computer Based Systems (ECBS 2005)
. IEEE Computer
Society Press, 3-8 April 2005.
59.
M. G. Hinchey, J. L. Rash, and C. A. Rouff. Towards an automated devel-
opment methodology for dependable systems with application to sensor net-
works. In S. F. Andler and A. Cervin, editors,
Proc.RealTimeinSweden
2005 (RTiS2005), The 8th Biennial SNART Conference on Real-time Systems
(Reprinted from Proc. IEEE Workshop on Information Assurance in Wireless
Sensor Networks (WSNIA 2005), Proc. International Performance Comput-
ing and Communications Conference (IPCCC-05), 2005)
,Skovde University
Studies in Informatics, pages 73-79, University of Skovde (Sweden), 2005.
60.
T. Hoare and R. Milner. Grand challenges for computing research.
Computer
Journal
, 48(1):49-52, 2005.
61.
W. M. L. Holcombe. Mathematical models of cell biochemistry. Technical Re-
port CS-86-4, Sheeld University, UK, 1986.
62.
W. M. L. Holcombe. Towards a formal description of intracellular biochemical
organization. Technical Report CS-86-1, Sheeld University, UK, 1986.
63.
P. Horn. Autonomic computing: IBM's perspective on the state of information
technology. White paper, IBM Research, Armonk, NY (USA), October 2001.
64.
R. S. Hornstein, J. K. Willoughby, J. A. Gardner, R. Casasanta, J. Donald
J. Hei, F. J. Hawkins, J. Eugene S. Burke, J. E. Todd, J. A. Bell, and
R. E. Miller. Cost ecient operations: Challenges from NASA administra-
tor and lessons learned from “hunting sacred cows.” In
Fourth International
Symposium on Space Mission Operations and Ground Data Systems
, Munich
(Germany), 16-20 September 1996. American Aeronautical Society.
65.
P. Hughes, G. Shirah, and E. Luczak. Advancing satellite operations with intel-
ligent graphical monitoring systems. In
Proc. AIAA Computing in Aerospace
Conference
, San Diego, CA (USA), October 1993.
66.
P. M. Hughes. Application of autonomic computing concepts for GSFC's next
generation missions. Presentation at the Woodrow Wilson International Center
for Scholars, 28 October 2003.
67.
M. N. Huns, V. T. Holderfield, and R. L. Z. Gutierrez. Robust software via
agent-based redundancy. In
Proc. Second International Joint Conference on
Autonomous Agents & Multiagent Systems (AAMAS 2003)
, pages 1018-1019,
Melbourne, Victoria (Australia), 14-18 July 2003.
68.
IBM. Autonomic computing concepts. White paper, 2001.
69.
IBM. An architectural blueprint for autonomic computing. White paper, Oc-
tober, 2003.
70.
IBM. Special issue on autonomic computing.
IBM Systems Journal
, 42(1),
2003.
71.
IBM and Cisco Systems. Adaptive Services Framework. White paper, version
1.0, IBM and Cisco Systems, 14 October 2003.
72.
IEEE International Conference on Autonomic Computing (ICAC'04)
,New
York, NY (USA), 17-18 May 2004.
73.
T. Iida, J. N. Pelton, and E. Ashford.
Satellite Communications in the 21st
Century: Trends and Technologies
. AIAA, 2003.
