166 search results - page 14 / 34 » Identifying State Transitions and their Functions in Source ... |
114
click to vote
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
125
click to vote
AIPS
2010
15 years 3 months ago
2010
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
156
Voted
IWPC
2006
IEEE
15 years 9 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
129
Voted
TNC
2004
15 years 5 months ago
2004
The function of a Network Intrusion Detection System (NIDS) is to identify any misuse and abnormal behavior determined as an attack to a network segment or network host. The propo...
158
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
Reliable delivery of 3D video contents to a wide set of users is expected to be the next big revolution in multimedia applications provided that it is possible to grant a certain ...