2954 search results - page 117 / 591 » Beyond |
168
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
154
click to vote
ESORICS
2012
Springer
13 years 7 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
117
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
The International Technology Roadmap for Semiconduc-tors (ITRS) seeks to stimulate invention and research lead-ing to one or more new nanoelectronics technologies that may extend ...
125
click to vote
ISM
2006
IEEE
15 years 11 months ago
2006
IEEE
As the popularity of multimedia broadband applications increases beyond basic tripleplay, current access and aggregation networks evolve towards IP-aware, converged,
COLING
2008
15 years 6 months ago
2008
It is shown how weighted context-free grammars can be used to recognize languages beyond their weak generative capacity by a one-step constant time extension of standard recogniti...