Sciweavers

2850 search results - page 43 / 570
» On Timed Models and Full Abstraction
Sort
View
TSP
2011
162views more  TSP 2011»
15 years 1 months ago
Space-Time Network Coding
Abstract—In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimatio...
Hung-Quoc Lai, K. J. Ray Liu
ICMCS
1994
IEEE
95views Multimedia» more  ICMCS 1994»
15 years 10 months ago
Representing Time in Multimedia Systems
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
Thomas Wahl, Kurt Rothermel
144
Voted
RTSS
2007
IEEE
16 years 10 days ago
A UML-Based Design Framework for Time-Triggered Applications
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Won...
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
ECAL
2003
Springer
15 years 11 months ago
First Steps in Evolving Path Integration in Simulation
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
Robert Vickerstaff