By Topic

Computer

Issue 8 • Date Aug. 1993

Filter Results

Displaying Results 1 - 8 of 8
  • Formal models of communication services: a case study

    Publication Year: 1993, Page(s):37 - 47
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1349 KB)

    Formal methods can play an important role in exploring new communication systems services. The telecommunications and data communications communities have long accepted the need for formally describing protocols, but only recently have they considered formally describing a service by abstracting specifications from a particular protocol that provides that service. Specifying a service at an abstra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending telecommunications systems: the feature-interaction problem

    Publication Year: 1993, Page(s):14 - 18
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (547 KB)

    A number of characteristics distinguish telecommunications systems from other computer systems. The authors first describe the overall function of telecommunications and then detail the more difficult characteristics that contribute to the feature-interaction problem. Many features are simple, and detecting interactions between a particular pair of them can be easy. The problem becomes difficult w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feature interactions and formal specifications in telecommunications

    Publication Year: 1993, Page(s):20 - 28
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1185 KB)

    The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolved beyond plain old telephone service (POTS) are described. It is shown how many feature interactions can be eliminated by applying known techniques of f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving public switched network security in an open environment

    Publication Year: 1993, Page(s):32 - 35
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (467 KB)

    Government studies have identified potential vulnerabilities in the public switched network that could be exploited by hostile users. As the telecommunications industry moves toward greater openness and more services are added, the potential for abuse is likely to increase. The US government's efforts to maintain the integrity of telecommunications services in this new open environment are summari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed artificial intelligence for runtime feature-interaction resolution

    Publication Year: 1993, Page(s):48 - 55
    Cited by:  Papers (19)  |  Patents (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (899 KB)

    The feature-interaction problem has many different instances. It is argued that some instances lend themselves to a distributed artificial intelligence (DAI) approach. The use of DAI techniques in current telecommunications systems appears quite natural in light of two trends in the way these systems are designed: the distribution of functionality and the incorporation of intelligence. The author ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • InterBase: an execution environment for heterogeneous software systems

    Publication Year: 1993, Page(s):57 - 69
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1791 KB)

    The InterBase system, which integrates preexisting systems over a distributed, autonomous, and heterogeneous environment using a tool-based interface, is described. It supports heterogeneous applications without violating the local autonomy of component systems. The InterBase system locates and starts remote services, transfers and transforms data among different services, manages failures, and co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The compute cluster and other parallel programming models

    Publication Year: 1993, Page(s):70 - 72
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (405 KB)

    The parallel processing requirements of many computer applications, such as machine vision, radar, solar, and signal processing, are reviewed. The major hardware architectural features in optimizing parallel processing performance (interconnect topology, memory locality, and synchronization facilities) are discussed. The various parallel processing models available are also discussed. These includ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Standards: defining software engineering as a profession

    Publication Year: 1993, Page(s):76 - 78
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (421 KB)

    The need for standards of personal accountability for professionals working in the field of software engineering is examined. The field is defined, and the technical expertise and entry-level requirements that it requires are identified. Ways to initiate the process of obtaining a broad professional consensus on the norms of the software engineering field are proposed.<> View full abstract»

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

Aims & Scope

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

Full Aims & Scope

Meet Our Editors

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