3104 search results - page 466 / 621 » Using quantitative analysis to implement autonomic IT system... |
147
click to vote
CMPB
2010
14 years 11 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
182
Voted
FORTE
2011
14 years 8 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
133
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
128
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...
123
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...