Sciweavers

1624 search results - page 243 / 325
» Modelling Variability for System Families
Sort
View
WORDS
2003
IEEE
14 years 3 months ago
Towards the Delay and Synchronization Control for Networked Real-Time Multi-Object Multimedia Applications
Due to the lack of QoS support, ensuring an acceptable application level QoS for the real-time delivery of multiobject multimedia presentations on the current Internet is very cha...
Haining Liu, Magda El Zarki
CC
2003
Springer
14 years 3 months ago
Early Control of Register Pressure for Software Pipelined Loops
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
Sid Ahmed Ali Touati, Christine Eisenbeis
DICTA
2007
13 years 12 months ago
Tracking with Multiple Cameras for Video Surveillance
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
Manas Kamal Bhuyan, Brian C. Lovell, Abbas Bigdeli
QEST
2006
IEEE
14 years 4 months ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
UIST
1993
ACM
14 years 2 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...