892 search results - page 134 / 179 » Calculating with Requirements |
176
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
134
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— When considering network restoration, the amount of reserved resources has an important impact on network performance in that it can restrict the acceptance of new connections....
166
click to vote
MM
1993
ACM
15 years 9 months ago
1993
ACM
It is well-known that an FDDI token ring network provides a guaranteed throughput for synchronous messages and a bounded medium access delay for each node/station. However, this f...
147
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
150
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...