8486 search results - page 1521 / 1698 » Ordered Enumeration Method |
146
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
144
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
167
click to vote
MUE
2007
IEEE
15 years 11 months ago
2007
IEEE
Securing multimedia transmission has become a challenging issue due to the popularization of real-time multimedia applications such as video surveillance, satellite communication ...
131
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
152
Voted
CDVE
2007
Springer
15 years 11 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...