1980 search results - page 339 / 396 » Compositional Model Checking of 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 9 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...
RTCSA
2003
IEEE
14 years 2 months ago
2003
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-theshelf processors become cheaper and faster, it...
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...