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
The European Union and the Semantic Web Neville Holmes, pp. 106, 107-108 |