11484 search results - page 122 / 2297 » Modeling in the Large and Modeling in the Small |
166
click to vote
EDOC
2006
IEEE
16 years 13 days ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
184
click to vote
JBCB
2007
15 years 6 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...
165
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
183
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
168
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...