1860 search results - page 203 / 372 » tools 2009 |
180
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
204
click to vote
HCI
2009
15 years 4 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
194
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...
210
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Orthology analysis is an important part of data analysis in many areas of bioinformatics such as comparative genomics and molecular phylogenetics. The ever-increasing ...
192
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...