The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 08 - August (vol. 41)
ISSN: 0018-9162
Departments

Article Summaries (HTML)

pp. 4
The Known World

Figures in the Distance (Abstract)

David Alan Grier , George Washington University
pp. 5-7
32 & 16 Years Ago

32 & 16 Years Ago (Abstract)

pp. 8-9
Industry Trends
Technology News
News Briefs
Computing Practices

Cybersecurity Strategies: The QuERIES Methodology (Abstract)

Jeff Hughes , Air Force Research Laboratory
Lawrence Carin , Duke University
George Cybenko , Dartmouth College
pp. 20-26
Guest Editors' Introduction

High-Assurance Service-Oriented Architectures (HTML)

Jing Dong , University of Texas at Dallas
Raymond A. Paul , US Department of Defense
Liang-Jie Zhang , IBM T.J. Watson Research Center
pp. 27-28
Cover Feature

CROWN-C: A High-Assurance Service-Oriented Grid Middleware System (Abstract)

Nik Looker , Durham University
Jinpeng Huai , Beihang University
Jie Xu , University of Leeds
Dacheng Zhang , University of Leeds
Paul Townend , University of Leeds
Liang Zhong , Beihang University
Jianxin Li , Beihang University
pp. 30-38

On Testing and Evaluating Service-Oriented Software (Abstract)

Yinong Chen , Arizona State University
Xinyu Zhou , VMware
Xiaoying Bai , Tsinghua University, China
Wei-Tek Tsai , Arizona State University
pp. 40-46

QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems (Abstract)

Farokh B. Bastani , University of Texas at Dallas
Hui Ma , Cisco Systems
I-Ling Yen , University of Texas at Dallas
Hong Mei , Peking University, China
pp. 48-55

Assuring Timeliness in an e-Science Service-Oriented Architecture (Abstract)

Venkat Raghav , Motorola
John C. Sloan , Florida Atlantic University
Taghi M. Khoshgoftaar , Florida Atlantic University,
pp. 56-62

Specifying High-Assurance Services (Abstract)

Giovanni Falcone , University of Mannheim
Monika Juhasz , University of Mannheim
Daniel Brenner , University of Mannheim
Colin Atkinson , University of Mannheim
pp. 64-71
Report to Members
Computer Society Connection

Computer Society Connection (HTML)

Bob Ward , IEEE Computer Society
pp. 78-79
Call and Calendar

Call and Calendar (Abstract)

Bob Ward , IEEE Computer Society
pp. 80-82
Bookshelf

Bookshelf (HTML)

pp. 83
Entertainment Computing

The Future Is Virtually Here (Abstract)

Michael van Lent , Soar Technology
pp. 87-89
How Things Work
Security

Identity-Based Encryption Comes of Age (Abstract)

Luther Martin , Voltage Security
pp. 93-95
Software Technologies

Seven Principles of Software Testing (Abstract)

Bertrand Meyer , Eiffel Software
pp. 99-101
Invisible Computing

Some Computer Science Issues in Creating a Sustainable World (Abstract)

Robin Kravets , University of Illinois
Eli Blevis , Indiana University
Jennifer Mankoff , Carnegie Mellon University
pp. 102-105
The Profession

The European Union and the Semantic Web (Abstract)

Neville Holmes , University of Tasmania
pp. 108, 106-107
91 ms
(Ver 3.1 (10032016))