By Topic

Computer

Issue 10 • Date Oct. 2006

Filter Results

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

    Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (1590 KB)  
    Freely Available from IEEE
  • Masthead

    Page(s): 1
    Save to Project icon | Request Permissions | PDF file iconPDF (78 KB)  
    Freely Available from IEEE
  • Table of contents

    Page(s): 2 - 3
    Save to Project icon | Request Permissions | PDF file iconPDF (3952 KB)  
    Freely Available from IEEE
  • Article summaries

    Page(s): 4
    Save to Project icon | Request Permissions | PDF file iconPDF (344 KB)  
    Freely Available from IEEE
  • 7th IEEE International Symposium on Cluster Computing and the Grid - CCGrid07

    Page(s): 5
    Save to Project icon | Request Permissions | PDF file iconPDF (96 KB)  
    Freely Available from IEEE
  • Letters

    Page(s): 6
    Save to Project icon | Request Permissions | PDF file iconPDF (352 KB)  
    Freely Available from IEEE
  • The Language of Bad Love

    Page(s): 7 - 9
    Save to Project icon | Request Permissions | PDF file iconPDF (1016 KB)  
    Freely Available from IEEE
  • 32 & 16 Years Ago

    Page(s): 10 - 11
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (57 KB)  

    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

    Page(s): 12 - 15
    Save to Project icon | Request Permissions | PDF file iconPDF (1457 KB)  
    Freely Available from IEEE
  • Will the New Wi-Fi Fly?

    Page(s): 16 - 18
    Save to Project icon | Request Permissions | PDF file iconPDF (1072 KB)  
    Freely Available from IEEE
  • News Briefs

    Page(s): 19 - 21
    Save to Project icon | Request Permissions | PDF file iconPDF (1255 KB)  
    Freely Available from IEEE
  • Special Issue Introduction: The IEEE Computer Society's 60th Anniversary

    Page(s): 22 - 25
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1256 KB)  

    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

    Page(s): 26 - 35
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1267 KB)  

    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 first part of this definition - managing teams to produce a large product. But just as important is the view inherent in the second part of the definition - identifying specific parts of a product so that experts can design them and organizations can mass-produce them free of language and environment dependencies. Component-based software engineering has made tremendous strides toward satisfying both parts of the definition. Through the use of middleware constructed using reflection and controlled through XML specifications, it is possible to give the components in a large software system a high degree of platform and even language independence. The result is long lived software that can migrate gracefully as platforms improve and change 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

    Page(s): 36 - 43
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (881 KB)  

    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-adapting its behavior. The more we move toward dynamic and heterogeneous systems, and the more we stress their self-healing and self-adapting capabilities, the more we need new approaches to develop these applications and new ways to structure and program them. Programming open systems requires new programming language features. Two features that bear investigation are introspection mechanisms to get runtime information about newly encountered services and reflective mechanisms to adapt client applications dynamically. Some existing standards, industrial products, and research prototypes that support, to a certain extent, the open-world assumptions are service-oriented technologies, publish/subscribe middleware systems, grid infrastructures, autonomic frameworks 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

    Page(s): 45 - 55
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1638 KB)  

    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 dependence. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, visualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services 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

    Page(s): 56
    Save to Project icon | Request Permissions | PDF file iconPDF (79 KB)  
    Freely Available from IEEE
  • First Steps in the Verified Software Grand Challenge

    Page(s): 57 - 64
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1097 KB)  

    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 formal methods will become widespread, transforming the practice of software engineering. The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained 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?

    Page(s): 65 - 71
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1075 KB)  

    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

    Page(s): 72 - 80
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1139 KB)  

    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. Software and systems engineering is thus the key discipline for constructing information-processing systems. In particular, software and systems engineering addresses issues such as requirements engineering, architectural design, implementation, reliability engineering, and long-term maintenance. Developing a methodology for specifying and verifying software-intensive systems poses a grand challenge that a broad stream of research must address 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?

    Page(s): 81 - 82
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (912 KB)  

    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 how to find bugs View full abstract»

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

    Page(s): 84 - 91
    Save to Project icon | Request Permissions | PDF file iconPDF (239 KB)  
    Freely Available from IEEE
  • Bookshelf

    Page(s): 92
    Save to Project icon | Request Permissions | PDF file iconPDF (344 KB)  
    Freely Available from IEEE
  • Products

    Page(s): 93
    Save to Project icon | Request Permissions | PDF file iconPDF (488 KB)  
    Freely Available from IEEE
  • IEEE Computer Society Connection

    Page(s): 94 - 96
    Save to Project icon | Request Permissions | PDF file iconPDF (832 KB)  
    Freely Available from IEEE
  • Call and Calendar

    Page(s): 97 - 99
    Save to Project icon | Request Permissions | PDF file iconPDF (636 KB)  
    Freely Available from IEEE

Aims & Scope

Computer, the flagship publication of the IEEE Computer Society, publishes highly acclaimed 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
Ron Vetter
University of North Carolina
Wilmington