451 search results - page 14 / 91 » Identifying Facts for TCBR |
116
click to vote
ISSTA
2012
ACM
13 years 2 days ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
69
Voted
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
65
Voted
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
ICISC
2004
14 years 11 months ago
2004
Steganography embeds a secret message in an innocuous cover-object. This paper identifies three cover-specific redundancies of executable programs and presents steganographic techn...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We propose an online form of the cake cutting problem. This models situations where players arrive and depart during the process of dividing a resource. We show that well known fa...