3056 search results - page 372 / 612 » Open Implementation Analysis and Design |
169
click to vote
ASE
2007
15 years 6 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
160
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: High resolution mass spectrometry has been employed to rapidly and accurately type and subtype influenza viruses. The detection of signature peptides with unique theor...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We designed and implemented Tagme, a system that is able to efficiently and judiciously augment a plain-text with pertinent hyperlinks to Wikipedia pages. The specialty of Tagme w...
194
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present the design, implementation and evaluation of HIGAS, a hybrid intelligent system that deals with diagnosis and treatment consultation of acid-base disturba...
155
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...