5084 search results - page 435 / 1017 » Proving Possibility Properties |
172
click to vote
SUTC
2006
IEEE
16 years 27 days ago
2006
IEEE
While many researches of Host Anomaly Detection System using system calls under UNIX/UNIX-like systems have been done but little in Windows systems, we do the similar research und...
171
click to vote
VTC
2006
IEEE
16 years 27 days ago
2006
IEEE
— This paper presents a new pricing function for noncooperative power control game in a single cell CDMA data network. Considering a utility function for each terminal, the purpo...
211
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
201
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
176
click to vote
INFOCOM
2005
IEEE
16 years 15 days ago
2005
IEEE
— When the topology of an IP network changes due to a link failure or a link weight modification, the routing tables of all the routers must be updated. Each of those updates ma...