5122 search results - page 685 / 1025 » Comparing Consequence Relations |
141
click to vote
IV
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a novel approach (1) to define, analyze, and map a scientific discipline and (2) to compare and map the expertise of single authors based on personal bibliogra...
188
click to vote
MEMOCODE
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
165
click to vote
SP
2006
IEEE
16 years 23 days ago
2006
IEEE
Classification accuracy in intrusion detection systems (IDSs) deals with such fundamental problems as how to compare two or more IDSs, how to evaluate the performance of an IDS, ...
162
click to vote
TRIDENTCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— Experiments in real satellite testbeds are relatively rare in practice. In this paper, we are going to share our experience on using one, and comment on selected sets of result...
168
click to vote
VTC
2006
IEEE
16 years 23 days ago
2006
IEEE
— The next generation wireless networks will support the vertical handoff mechanism in which users can maintain the connections when they switch from one network to another (e.g....