Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications.
Seong Bae EunByeong Man KimSeungryul MaengJung Wan ChoPublished in: FTDCS (1995)
Keyphrases
- error detection
- error correction
- error recovery
- data cleansing
- fault tolerance
- multimedia
- error correcting
- error control
- quality of service
- high level
- temporal reasoning
- fault isolation
- error resilient
- temporal constraints
- multimedia data
- spatial and temporal
- spatio temporal
- multimedia content
- temporal data
- artificial intelligence
- formal specification
- fault tolerant
- temporal information
- software engineering
- delay insensitive
- metadata