Sciweavers

2560 search results - page 189 / 512
» Analysis Tool for Honeypot Systems
Sort
View
WSC
1997
15 years 8 months ago
The Use of Simulation in Activity-Based Costing for Flexible Manufacturing Systems
A framework to design simulation models is described in order to perform activity-based costing for flexible manufacturing systems before actual manufacturing activities. For illu...
Soemon Takakuwa
SC
2000
ACM
15 years 11 months ago
From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems
In this paper we describe a trace analysis framework, from trace generation to visualization. It includes a unified tracing facility on IBM® SP™ systems, a self-defining interv...
Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir,...
HCI
2009
15 years 4 months ago
Developing, Deploying and Assessing Usage of a Movie Archive System among Students of Film Studies
This paper describes our work in developing a movie browser application for students of Film Studies at our University. The aim of our work is to address the issues that arise when...
Nazlena Mohamad Ali, Alan F. Smeaton, Hyowon Lee, ...
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 7 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
MM
1996
ACM
168views Multimedia» more  MM 1996»
15 years 10 months ago
CVEPS - A Compressed Video Editing and Parsing System
Processing digital video directly in the compressed domain has many advantages in terms of storage efficiency, speed, and video quality. We have developed a compressed video editi...
Jianhao Meng, Shih-Fu Chang