The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 01 - January (vol. 43)
ISSN: 0018-9162
News Briefs

News Briefs (PDF)

pp. 19-20
Elsewhere in the CS
President's Message
The Known World

Designing the Future (Abstract)

David Alan Grier , George Washington University
pp. 9-11
32 and 16 Years Ago

32 and 16 Years Ago (Abstract)

pp. 12-13
Technology News
Cover Feature

Really Rethinking 'Formal Methods' (Abstract)

David Lorge Parnas , McMaster University
pp. 28-34

Fulfilling the Vision of Autonomic Computing (Abstract)

Roy Sterritt , University of Ulster
Simon Dobson , University of St Andrews
pp. 35-41

Opportunities in Opportunistic Computing (Abstract)

Marco Conti , Italian National Research Council
Mohan Kumar , University of Texas at Arlington
pp. 42-50
Research Feature

Online Security Threats and Computer User Intentions (Abstract)

Thomas F. Stafford , University of Memphis
Robin Poston , University of Memphis
pp. 58-64
CS Connection

Computer Society Programs Serve Members (HTML)

Bob Ward , IEEE Computer Society
pp. 65-69
Call and Calendar

Call and Calendar (PDF)

Bob Ward , IEEE Computer Society
pp. 70-71
Web Technologies

Web 3.0: The Dawn of Semantic Search (Abstract)

James Hendler , Rensselaer Polytechnic Institute
pp. 77-80
Embedded Computing

Mobile Supercomputers for the Next-Generation Cell Phone (Abstract)

Scott Mahlke , University of Michigan
Mark Woh , University of Michigan
Chaitali Chakrabarti , Arizona State University
Trevor Mudge , University of Michigan
pp. 81-85
Industry Perspective

The Economic Case for Open Source Foundations (Abstract)

Dirk Riehle , Friedrich-Alexander-University of Erlangen-Nürnberg
pp. 86-90
Green IT

Proxying: The Next Step in Reducing IT Energy Use (Abstract)

Bruce Nordman , Lawrence Berkeley National Laboratory
Ken Christensen , University of South Florida
pp. 91-93
The Varieties of Reality

The Profession (Abstract)

Neville Holmes , University of Tasmania
pp. 96, 94-95
89 ms
(Ver )