Sciweavers

2662 search results - page 191 / 533
» Tools Demonstrations
Sort
View
ACSAC
2004
IEEE
15 years 8 months ago
Reasoning About Complementary Intrusion Evidence
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
Yan Zhai, Peng Ning, Purush Iyer, Douglas S. Reeve...
APWEB
2006
Springer
15 years 8 months ago
An Effective System for Mining Web Log
The WWW provides a simple yet effective media for users to search, browse, and retrieve information in the Web. Web log mining is a promising tool to study user behaviors, which co...
Zhenglu Yang, Yitong Wang, Masaru Kitsuregawa
FMCAD
2000
Springer
15 years 8 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
WSC
2008
15 years 7 months ago
Optimization of Multi-Project Environment (OPMPE)
Construction business is project oriented and that is why every construction organization is dependent on projects. Typically they undertake multiple projects with limited multipl...
Lokman Hossain, Janaka Ruwanpura
EUROPAR
2008
Springer
15 years 6 months ago
Parametric Studies in Eclipse with TAU and PerfExplorer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
Kevin A. Huck, Wyatt Spear, Allen D. Malony, Samee...