4307 search results - page 520 / 862 » Dynamic Spyware Analysis |
150
click to vote
SIGCOMM
1996
ACM
15 years 8 months ago
1996
ACM
The large-scale behavior of routing in the Internet has gone virtually without any formal study, the exceptions being Chinoy's analysis of the dynamics of Internet routing in...
163
Voted
ICDAR
1995
IEEE
15 years 7 months ago
1995
IEEE
—A fast method of handwritten word recognition suitable for real time applications is presented in this paper. Preprocessing, segmentation and feature extraction are implemented ...
126
click to vote
WSC
2008
15 years 6 months ago
2008
Many general-purpose simulation languages (such as ARENA, SLAM II, GPSS/H, SIMAN etc) have been the major simulation tools to simulate the demand-supply processes. They have made ...
145
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
116
click to vote
ICONIP
2008
15 years 5 months ago
2008
Abstract. We study synchronization phenomena in a pair of integrateand-fire (IF) oscillators with the width of an action potential. They have slightly different periodic firings ea...