2687 search results - page 204 / 538 » Formal Analysis of PKCS |
163
click to vote
SEDE
2010
15 years 2 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
165
click to vote
ERSHOV
2009
Springer
15 years 2 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
139
Voted
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
154
Voted
FOCM
2011
14 years 8 months ago
2011
We consider a wide class of semi linear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomia...
221
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...