9071 search results - page 156 / 1815 » A co-design modeling approach for computer network systems |
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
GCC
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we propose an active grid resource management system supported by active networks for computational grid. First, we construct a scalable two-level resource managemen...
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
APNOMS
2006
Springer
15 years 1 months ago
2006
Springer
The explosive growth of new multimedia services over the Internet necessitates efficient network management. Improved network management systems are expected to simultaneously prov...
112
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Protein-protein interactions play a fundamental role in elucidating the molecular mechanisms of biomolecular function, signal transductions and metabolic pathways of l...