45 search results - page 7 / 9 » Present and Future of Practical SAT Solving |
EUROPKI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. A standard tool for secure remote access, the SSH protocol uses publickey cryptography to establish an encrypted and integrity-protected channel with a remote server. How...
VISUALIZATION
2005
IEEE
14 years 29 days ago
2005
IEEE
The field of Visualization is getting mature. Many problems have been solved, and new directions are sought for. In order to make good choices, an understanding of the purpose an...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
JUCS
2006
13 years 7 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
SWARM
2010
SPRINGER
13 years 5 months ago
2010
SPRINGER
In the past few years there has been a lot of research on the application of swarm intelligence to the problem of adaptive routing in telecommunications networks. A large number of...