9316 search results - page 296 / 1864 » Analysis of traceback techniques |
153
Voted
SLP
1997
15 years 8 months ago
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
139
Voted
COLING
1994
15 years 8 months ago
1994
This paper describes a set of computer programs for Chinese corpus analysis. These programs include (1) extraction of different characters, bigrams and words; (2) word segmentatio...
153
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
193
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
We discuss how methods from social network analysis could be combined with methodologies from database mediator technology and information fusion in order to give police and other ...