Sciweavers

531 search results - page 42 / 107
» Dynamic Observers for Fault Diagnosis of Timed Systems
Sort
View
ICCS
2007
Springer
15 years 3 months ago
Planet-in-a-Bottle: A Numerical Fluid-Laboratory System
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
Chris Hill, Bradley C. Kuszmaul, Charles E. Leiser...
INFOCOM
1994
IEEE
15 years 6 months ago
Dynamic Bandwidth Allocation for Efficient Transport of Real-Time VBR Video over ATM
This pape? presents a novel approach to dynamic transmission bandwidth allocation for transport of real-time variable-bit-rate video in ATM networks. Describe video traffic in the...
Song Chong, San-qi Li, Joydeep Ghosh
ICFP
2012
ACM
13 years 4 months ago
Addressing covert termination and timing channels in concurrent information flow systems
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit ...
DASC
2006
IEEE
15 years 5 months ago
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Joh...
OPODIS
2003
15 years 3 months ago
Linear Time Byzantine Self-Stabilizing Clock Synchronization
Awareness of the need for robustness in distributed systems increases as distributed systems become an integral part of day-to-day systems. Tolerating Byzantine faults and possessi...
Ariel Daliot, Danny Dolev, Hanna Parnas