Sciweavers

4987 search results - page 489 / 998
» Support Ordered Resolution
Sort
View
RTSS
1996
IEEE
15 years 11 months ago
Middleware for Distributed Industrial Real-Time Systems on ATM Networks
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
Ichiro Mizunuma, Chia Shen, Morikazu Takegaki
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CHI
1996
ACM
15 years 11 months ago
The Freedom to Work from an Arbitiary Position
We have designed two sets of communication tools to enable telepresence in groups who work in different locations. Afterwards we evaluated the tools. Studie (A), in the first grou...
Britt Jönsson, Anna Schömer, Konrad Toll...
INFOCOM
1994
IEEE
15 years 11 months ago
Adaptive Playout Mechanisms for Packetized Audio Applications in Wide-Area Networks
Recent interest in supporting packet-audio applications over wide area networks has been fueled by the availability of low-cost, toll-quality workstation audio and the demonstrati...
Ramachandran Ramjee, James F. Kurose, Donald F. To...
POPL
1993
ACM
15 years 11 months ago
Graph Types
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
Nils Klarlund, Michael I. Schwartzbach