1659 search results - page 190 / 332 » From Functional Analysis to Iterative Methods |
144
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
140
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
131
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
203
click to vote
CTRSA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
155
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Genome wide association (GWA) studies are now being widely undertaken aiming to find the link between genetic variations and common diseases. Ideally, a well-powered G...