Sciweavers

318 search results - page 33 / 64
» An Experimental Ambiguity Detection Tool
Sort
View
ICC
2009
IEEE
123views Communications» more  ICC 2009»
14 years 2 months ago
Blind Spectrum Sensing for Cognitive Radio Based on Signal Space Dimension Estimation
Abstract—Based on information theoretic tools, a new spectrum sensing method is proposed in this paper to detect vacant sub-bands in the radio spectrum1 . Specifically, based on...
Bassem Zayen, Aawatif Hayar, Kimmo Kansanen
ISSTA
2009
ACM
14 years 2 months ago
SideTrack: generalizing dynamic atomicity analysis
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
ICC
2009
IEEE
118views Communications» more  ICC 2009»
14 years 2 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
HICSS
2008
IEEE
163views Biometrics» more  HICSS 2008»
14 years 2 months ago
Building a Test Suite for Web Application Scanners
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E...
DGO
2006
113views Education» more  DGO 2006»
13 years 9 months ago
Progress in language processing technology for electronic rulemaking
In this project, we are developing new text processing tools that help people perform advanced analysis of large collections of text commentary. This problem is increasingly faced...
Stuart W. Shulman, Eduard H. Hovy, Jamie Callan, S...