8398 search results - page 1237 / 1680 » Optimal Software Testing |
181
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
173
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper we propose two polling based scheduling schemes for applications based on TCP in a multipointto-point IEEE 802.16 network. The first scheme uses TCP conge...
255
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Reliability is a key issue of the Service-Oriented Architecture (SOA) which is widely employed in critical domains such as e-commerce and e-government. Redundancy-based fault tole...
168
click to vote
CISIS
2007
IEEE
16 years 1 months ago
2007
IEEE
: The availability of enormous amounts of un-used computing power and data storage over the In-ternet makes the development of a globally distributed computing platform, called Ove...
215
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
DNA sequence alignment is a very important problem in bioinformatics. The algorithm proposed by Smith-Waterman (SW) is an exact method that obtains optimal local alignments in qua...