SETL for Internet Data Processing

Abstract

Public network services have to be coherent, reliable, and responsive in the face of errors, failures, attacks, and intermittent resource scarcity. SETL [181] turns out to be a convenient and powerful tool for dealing with this challenging environment. This dissertation describes extensions to SETL that are useful in data processing, especially when the Internet and numerous processes are involved. It is intended to serve as a tutorial on the design of moderately complex distributed systems using SETL, and accordingly provides many examples.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2000
Accession Number
ADA637685

Entities

People

  • David Bacon

Organizations

  • New York University

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Protocols
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Data Processing
  • Electronic Mail
  • Graphical User Interface
  • High Level Languages
  • Internet
  • Mathematics
  • Network Protocols
  • Operating Systems
  • Programming Languages
  • Shell Scripts
  • Web Browsers

Readers

  • Database Systems and Applications
  • Naval Engineering and Maritime Security
  • Theoretical Analysis.