525 search results - page 64 / 105 » Using Checkable Types in Automatic Protocol Analysis |
BMCBI
2006
13 years 9 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
We consider the use of Bayesian topic models in the analysis of computer network traffic. Our approach utilizes latent Dirichlet allocation and time-varying dynamic latent Dirich...
ANLP
1994
13 years 10 months ago
1994
This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...