Sciweavers

3707 search results - page 180 / 742
» A Simple Technique for Self-Calibration
Sort
View
ACSAC
2004
IEEE
15 years 10 months ago
Visualizing and Identifying Intrusion Context from System Calls Trace
Anomaly-based Intrusion Detection (AID) techniques are useful for detecting novel intrusions without known signatures. However, AID techniques suffer from higher false alarm rate ...
Zhuowei Li, Amitabha Das
APSEC
2003
IEEE
15 years 10 months ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
SIGGRAPH
1995
ACM
15 years 10 months ago
Time-dependent three-dimensional intravascular ultrasound
Intravascular ultrasonography and x-ray angiography provide two complimentary techniques for imaging the moving coronary arteries. We present a technique that combines the strengt...
Jed Lengyel, Donald P. Greenberg, Richard Popp
AIRWEB
2008
Springer
15 years 8 months ago
Cleaning search results using term distance features
The presence of Web spam in query results is one of the critical challenges facing search engines today. While search engines try to combat the impact of spam pages on their resul...
Josh Attenberg, Torsten Suel
CAV
2008
Springer
113views Hardware» more  CAV 2008»
15 years 8 months ago
Producing Short Counterexamples Using "Crucial Events"
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
Sujatha Kashyap, Vijay K. Garg