By Topic

Computer

Issue 10 • Date Oct. 2006

Filter Results

Displaying Results 1 - 25 of 34
  • [Front cover]

    Publication Year: 2006 , Page(s): c1
    Request Permissions | PDF file iconPDF (1590 KB)  
    Freely Available from IEEE
  • Masthead

    Publication Year: 2006 , Page(s): 1
    Request Permissions | PDF file iconPDF (78 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2006 , Page(s): 2 - 3
    Request Permissions | PDF file iconPDF (3952 KB)  
    Freely Available from IEEE
  • Article summaries

    Publication Year: 2006 , Page(s): 4
    Request Permissions | PDF file iconPDF (344 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • 7th IEEE International Symposium on Cluster Computing and the Grid - CCGrid07

    Publication Year: 2006 , Page(s): 5
    Request Permissions | PDF file iconPDF (96 KB)  
    Freely Available from IEEE
  • Letters

    Publication Year: 2006 , Page(s): 6
    Request Permissions | PDF file iconPDF (342 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • The Language of Bad Love

    Publication Year: 2006 , Page(s): 7 - 9
    Request Permissions | PDF file iconPDF (1016 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • 32 & 16 Years Ago

    Publication Year: 2006 , Page(s): 10 - 11
    Request Permissions | Click to expandAbstract | PDF file iconPDF (57 KB) |  | HTML iconHTML  

    Highlights new technologies being written about in Computer Magazine in 1974 and 1990. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Phone Companies Get into the TV Business

    Publication Year: 2006 , Page(s): 12 - 15
    Cited by:  Papers (4)
    Request Permissions | PDF file iconPDF (1457 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Will the New Wi-Fi Fly?

    Publication Year: 2006 , Page(s): 16 - 18
    Request Permissions | PDF file iconPDF (1072 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • News Briefs

    Publication Year: 2006 , Page(s): 19 - 21
    Request Permissions | PDF file iconPDF (1255 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Special Issue Introduction: The IEEE Computer Society's 60th Anniversary

    Publication Year: 2006 , Page(s): 22 - 25
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1256 KB) |  | HTML iconHTML  

    Mike Hinchey, Software Engineering Laboratory, NASA Goddard Space Flight Center A milestone year has provided the inspiration for several special activities and awards, including a special issue of Computer that addresses various aspects of software development and software engineering. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cross-Platform Development: Software that Lasts

    Publication Year: 2006 , Page(s): 26 - 35
    Cited by:  Papers (4)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1267 KB) |  | HTML iconHTML  

    The design of software that is easy to port or deliberately targeted for multiple platforms is a neglected area of software engineering. A promising solution is to link components and toolkits through XML and reflection. One of the more compelling definitions of software engineering is, the multiperson construction of multiversion software. The popular view of software engineering focuses on the f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward Open-World Software: Issue and Challenges

    Publication Year: 2006 , Page(s): 36 - 43
    Cited by:  Papers (44)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (881 KB) |  | HTML iconHTML  

    Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today's unpredictable open-world settings, especially in ubiquitous and pervasive computing settings, which demand techniques that let software react to changes by self-organizing its structure and self-ad... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Service Engineering: Linking Business and IT

    Publication Year: 2006 , Page(s): 45 - 55
    Cited by:  Papers (9)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1638 KB) |  | HTML iconHTML  

    With its strong emphasis on modularization, service-oriented computing radically alters the way business processes are modeled, realized, and maintained. Domain-specific services virtualize complex functions of the underlying business applications so that they can be loosely coupled to form transorganizational processes. This level of abstraction fosters agility and lessens traditional provider de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society 60th Anniversary

    Publication Year: 2006 , Page(s): 56
    Request Permissions | PDF file iconPDF (79 KB)  
    Freely Available from IEEE
  • First Steps in the Verified Software Grand Challenge

    Publication Year: 2006 , Page(s): 57 - 64
    Cited by:  Papers (12)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1097 KB) |  | HTML iconHTML  

    Bugs have become an unpleasant fact for software producers. Awareness is growing in industry that something must be done about software reliability. A growing number of academic and industrial researchers believe that the way to revolutionize the production of software is by using formal methods, and they also believe that doing so is now feasible. Given the right computer-based tools, the use of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What Can We Expect from Program Verification?

    Publication Year: 2006 , Page(s): 65 - 71
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1075 KB) |  | HTML iconHTML  

    Program verification assumes a formal program specification. In software-intensive systems, such specifications must depend on formalization of the natural, nonformal problem world. This formalization is inevitably imperfect, and poses major difficulties of structure and reasoning. Appropriate verification tools can help address these difficulties and improve system reliability View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems

    Publication Year: 2006 , Page(s): 72 - 80
    Cited by:  Papers (10)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1139 KB) |  | HTML iconHTML  

    The science of information and information processing, informatics comprises many areas and includes principles of computing, storing, communicating, and visualizing information, and formalisms to describe information-processing procedures. The development and production of information-processing systems is based on software support systems such as software tools or product data repositories. Soft... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What Have We Not Learned about Teaching Programming?

    Publication Year: 2006 , Page(s): 81 - 82
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (912 KB) |  | HTML iconHTML  

    We need to look seriously at how we teach programming. The purpose of an education should not simply be to pour facts into students, but rather to teach them to think. The topics we need to teach more effectively include correctness concerns; the program development process, not only simplifying but also not "complifying" in the first place; how notation can help or hinder; problem solving; and ho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Career opportunities

    Publication Year: 2006 , Page(s): 84 - 91
    Request Permissions | PDF file iconPDF (239 KB)  
    Freely Available from IEEE
  • Bookshelf

    Publication Year: 2006 , Page(s): 92
    Request Permissions | PDF file iconPDF (344 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Products

    Publication Year: 2006 , Page(s): 93
    Request Permissions | PDF file iconPDF (488 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • IEEE Computer Society Connection

    Publication Year: 2006 , Page(s): 94 - 96
    Request Permissions | PDF file iconPDF (832 KB)  
    Freely Available from IEEE
  • Call and Calendar

    Publication Year: 2006 , Page(s): 97 - 99
    Request Permissions | PDF file iconPDF (636 KB)  
    Freely Available from IEEE

Aims & Scope

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by professionals representing the full spectrum of computing technology from hardware to software and from current research to new applications.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Sumi Helal
University of Florida
sumi.helal@gmail.com