6020 search results - page 277 / 1204 » A New Approach to Model Counting |
175
click to vote
JALC
2006
15 years 6 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...
206
click to vote
JIB
2006
15 years 6 months ago
2006
Protein-protein interactions (PPI) play a key role in many biological systems. Over the past few years, an explosion in availability of functional biological data obtained from hi...
227
click to vote
TON
2010
15 years 29 days ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
149
click to vote
CCE
2007
15 years 6 months ago
2007
In order to achieve global stability using well-established linear control theory and techniques, a multiple model approach has attracted increased attention in recent years. In o...
188
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...