130 search results - page 4 / 26 » A timeband framework for modelling real-time systems |
ECRTS
2003
IEEE
13 years 11 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
ISM
2008
IEEE
2008
IEEE
A Framework for Collaborative Real-Time 3D Teleimmersion in a Geographically Distributed Environment
14 years 5 days ago
In this paper, we present a framework for immersive 3D video conferencing and geographically distributed collaboration. Our multi-camera system performs a full-body 3D reconstruct...
ECBS
2011
IEEE
12 years 5 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
SNPD
2008
13 years 7 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...