Sciweavers

1665 search results - page 241 / 333
» Monitoring Timing Constraints in Distributed Real-Time Syste...
Sort
View
FSTTCS
2007
Springer
15 years 10 months ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
RTAS
2005
IEEE
15 years 9 months ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz
HIPC
2004
Springer
15 years 9 months ago
A Shared Memory Dispatching Approach for Partially Clairvoyant Schedulers
It is well known that in a typical real-time system, certain parameters, such as the execution time of a job, are not fixed numbers. In such systems, it is common to characterize ...
K. Subramani, Kiran Yellajyosula
CMC
1998
Springer
15 years 8 months ago
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
Tom Brøndsted, Paul Dalsgaard, Lars Bo Lars...
ICMCS
2006
IEEE
149views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Design and Implementation of a Multimedia Personalized Service Over Large Scale Networks
In this paper, we proposed to setup a distributed multimedia system which aggregates the capacity of multiple servers to provide customized multimedia services in a cost-effective...
Xiaorong Li, Terence Gih Guang, Bharadwaj Veeraval...