321 search results - page 20 / 65 » Testing protocols modeled as FSMs with timing parameters |
117
Voted
ACL
2012
13 years 2 months ago
2012
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...
120
Voted
WSC
2004
15 years 1 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
114
click to vote
ICICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
83
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
60
Voted
IEICET
2008
15 years 14 days ago
2008
This paper studies impact of the well edge proximity effect on digital circuit delay, based on model parameters extracted from test structures in an industrial 65nm wafer process. ...