5829 search results - page 968 / 1166 » The Practice of Cluster Analysis |
169
click to vote
TAP
2007
Springer
15 years 10 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
132
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
128
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
149
click to vote
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
122
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...