117 search results - page 9 / 24 » Why Cryptosystems Fail |
FM
2003
Springer
14 years 1 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
COMPLEX
2009
Springer
14 years 1 months ago
2009
Springer
Most influence networks are depicted as nodes and links operating in the manner of a feed-forward neural network where both nodes and links appear to be homogenous in their nature....
IUI
2000
ACM
14 years 23 days ago
2000
ACM
The APE (Adaptive Programming Environment) project focuses on applying Machine Learning techniques to embed a software assistant into the VisualWorks Smalltalk interactive program...
MICCAI
1999
Springer
14 years 20 days ago
1999
Springer
The “Demons Algorithm” in increasingly used for non-rigid registration of 3D medical images. However, if it is fast and usually accurate, the algorithm is based on intuitive id...
SIGCOMM
1997
ACM
14 years 18 days ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...