861 search results - page 104 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
117
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
The high availability of video streams is making necessary mechanisms for indexing such contents in the Web world. In this paper we focus on news programs and we propose a mechani...
143
click to vote
LCTRTS
2010
Springer
15 years 29 days ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
144
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
106
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...