The periodic update transaction model has been used to maintain the freshness (or temporal validity) of real-time data.
The deferrable scheduling algorithm for fixed priority transactions (DS-FP) is demonstrated to be a very effective approach for minimizing real-time update transaction workload while maintaining te
We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets.
We study analogs of classical relational calculus in the context of strings. We start by studying string logics.
First Page of the Article
A talk entitled "Defining Services in an Integrated Digital Network" has been prepared for presentation to minority engineering students as part of the Systems Engineering Talks Committee program.
Operational security assurance evaluation is a task that consists of providing explicit evidence that the deployed, operational security mechanisms fulfill their respective security objectives.
This report summarizes an exploratory study conducted to identify AT&T Bell Laboratories Kelly Education and Training Center (KETC) customers' expectation for service.
Interest in optical communications has stimulated research to find a suitable optical transmission medium.
If a cool gas is blown into a hot tube (Fig. 1), the gas heats lip first at the wall of the tube and remains cool longer at its center.
