3104 search results - page 335 / 621 » Using quantitative analysis to implement autonomic IT system... |
153
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper demonstrates the feasibility and potential of applying empirical mode decomposition (EMD) to forecast the arrival time behaviors in a parallel batch system. An analysis...
213
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
317
click to vote
Publication
Congestion avoidance mechanisms allow a network to operate in the optimal region of low delay and high throughput, thereby, preventing the network from becoming congested. This is ...
182
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
181
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...