10890 search results - page 1844 / 2178 » Automatic Complexity Analysis |
159
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Over the past decade, Intrusion Detection Systems (IDS) have improved steadily in the efficiency and effectiveness with which they detect intrusive activity. This is particularly ...
145
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
144
click to vote
AINA
2003
IEEE
15 years 12 months ago
2003
IEEE
RSVP is a reservation setup protocol designed specifically to support QoS signaling in the Internet. However, RSVP end-to-end signaled QoS for the Internet has not become a reali...
186
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
152
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...