1105 search results - page 184 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
PCM
2004
Springer
14 years 2 months ago
2004
Springer
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
TOG
2008
13 years 8 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
IADIS
2004
13 years 10 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
WSDM
2012
ACM
12 years 4 months ago
2012
ACM
In this work we propose a novel approach to anomaly detection in streaming communication data. We first build a stochastic model for the system based on temporal communication pa...
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...