Emerging Technologies Track

Track Chairs

Ralph Sprague, Jr.
University of Hawai`i
2404 Maile Way, E-303
Honolulu, Hawaii 96822
Phone: (808) 956-7082
Fax: (808) 956-9889
Email: sprague@hawaii.edu 		Hesham El-Rewini
Department of Computer Science
University of Nebraska at Omaha
Omaha, NE 68182-0500
Voice: (402) 554-2852
FAX: (402) 554-2975
Email: rewini@cs.unomaha.edu







Advances in Software Specification and Verification

Modern society is increasingly dependent on complex software systems in its critical infrastructures, including communication, finance, transportation, energy, and healthcare. As a result, the consequences of failures are becoming increasingly severe. The Advances in Software Specification and Verification minitrack focuses on research, development, and case studies that will help drive widespread use of rigorous specification and verification technologies, particularly for systems that exhibit severe consequences of failure, including mission- and safety-critical embedded systems and large-scale critical infrastructure systems. General topic areas include methods for scale up of specification and verification techniques to large systems, methods for complexity reduction in specifications, designing specifications for ease of verification, development of engineering practices and tools, and industry case studies.

Papers are encouraged in the following areas:

Minitrack Chairs

Ann Sobel
Systems Analysis Department
230 J Kreger Hall
Miami University
Oxford, OH 45056
513-529-7541 (voice)
e-mail: soblae@muohio.edu 		Rick Linger
Software Engineering Institute
Carnegie Mellon University
4500 5th Avenue
Pittsburgh, PA 15213
301-926-4858 (voice)
e-mail: rlinger@sei.cmu.edu

Errors, Risks, and Security in Information Technology

Information technology in the forms of computers and networking is now essential to the functioning of business. Even short outages can now have a devastating impact on corporations, and incorrectly functioning programs can produce "stealth disasters" in which companies function incorrectly for substantial periods of time because of subtle but important errors in output. In addition, deliberate attacks by insiders and outsiders can produce high risks to corporate information assets and personal information stored in organizational computers.

This minitrack will accept papers in a wide variety of contexts surrounding errors, risks, and security, including the quantification of threats, methodologies to reduce these threats, and case studies. Among the topics to be considered will be:

Minitrack Chair

Raymond Panko
Decision Sciences Department
College of Business Administration
University of Hawaii
2404 Maile Way
Honolulu, HI 96822
Office: (808) 956-5049
Fax: (808) 956-9889
e-mail: Panko@hawaii.edu

Restructuring The Electric Power Industry

This minitrack will be devoted to technical issues associated with its restructuring (i.e. de-regulation) of the electric power system. This is a world-wide issue and Australia, Japan, the US, the UK are especially involved. The topics require interesting mergers of disciplines such as optimization, large-scale computing, economics, networks, control, and communications from a system theoretic point of view.

Minitrack Chair

Robert J. Thomas
School of Electrical Engineering
428 Phillips Hall
Cornell University
Ithaca, NY 14853
Office: (607) 255-5083
Fax: (607) 255-8871
e-mail: rjt1@cornell.edu

Software Process Improvement

Software process improvement efforts rely on the successful integration of many technical, people, and methodological issues. This provides the opportunity for rich socio-technical and interdisciplinary research studies in addition to those studies that focus on process and/or enabling technology issues. Papers are welcome which deal with the technical aspects of models, methodologies, metrics, organizational, management, people and teams related to Software Process Improvement issues. Either conceptual or empirical work focused on the technical aspect of software process improvement efforts is appropriate for this minitrack.

Minitrack Chair

Gene McGuire
Computer Science and Information Systems
American University
Clark Hall, Rm. 117
4400 Massachusetts Ave., N.W.
Washington, D.C. 20016-8116
Phone: (202) 885-3268
Fax: (202) 885-1479
Email: mcguire@american.edu