Table Of Contents

Cover Page1

Cover page 2

Cover page 3

Cover page 4

Table of contents

Article Summaries p. 4

Figures in the Distance  David Alan Grier, George Washington University pp. 5-7

32 & 16 Years Ago  pp. 8-9

New Ways to Build Rich Internet Applications George Lawton pp. 10-12

Virtualization Sparks Security Concerns  Steven J. Vaughan-Nicholspp. 13-15

News Briefs  Linda Dailey Paulsonpp. 16-18

Cybersecurity Strategies: The QuERIES Methodology Lawrence Carin,  pp. 20-26

High-Assurance Service-Oriented Architectures Jing Dong, pp. 27-28

CROWN-C: A High-Assurance Service-Oriented Grid Middleware System
Paul Townend, University of Leeds pp. 30-38

On Testing and Evaluating Service-Oriented Software Wei-Tek Tsai, pp. 40-46

QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems I-Ling Yen, University of Texas at Dallas pp. 48-55

Assuring Timeliness in an e-Science Service-Oriented Architecture
John C. Sloan, Florida Atlantic University pp. 56-62

Specifying High-Assurance Services Colin Atkinson, University of Mannheimpp. 64-71

IEEE President-Elect Candidates Address Computer Society Concerns
Bob Ward, IEEE Computer Society pp. 72-77

Computer Society Connection Bob Ward, IEEE Computer Societypp. 78-79

Call and Calendar  Bob Ward, IEEE Computer Society pp. 80-82

Bookshelf  p. 83

The Future Is Virtually Here Michael van Lent, Soar Technology pp. 87-89

Advanced Noise Reduction for Mobile Telephony Lloyd Watts, Audience, Inc pp. 90-92

Identity-Based Encryption Comes of Age Luther Martin, Voltage Securitypp. 93-95

Seven Principles of Software Testing Bertrand Meyer, Eiffel Software pp. 99-101

Some Computer Science Issues in Creating a Sustainable World
Jennifer Mankoff, Carnegie Mellon University pp. 102-105