280 search results - page 38 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
170
Voted
KES
2005
Springer
15 years 9 months ago
2005
Springer
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
147
Voted
WICOMM
2010
15 years 1 months ago
2010
The rapid proliferation of wireless systems makes interference management more and more important. This paper presents a novel cognitive coexistence framework, which enables an in...
118
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
121
Voted
INEX
2004
Springer
15 years 8 months ago
2004
Springer
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
154
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...