2687 search results - page 212 / 538 » Formal Analysis of PKCS |
193
click to vote
TKDE
2012
13 years 7 months ago
2012
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
145
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
142
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
153
click to vote
IWPSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
118
click to vote
DOCENG
2009
ACM
15 years 11 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...