Sciweavers

5009 search results - page 369 / 1002
» Value chain modelling using system dynamics
Sort
View
LSMS
2007
Springer
16 years 29 days ago
AOC-by-Self-discovery Modeling and Simulation for HIV
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
Chunxiao Zhao, Ning Zhong, Ying Hao
GLVLSI
2008
IEEE
129views VLSI» more  GLVLSI 2008»
16 years 1 months ago
Variational capacitance modeling using orthogonal polynomial method
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
Jian Cui, Gengsheng Chen, Ruijing Shen, Sheldon X....
COMCOM
2004
119views more  COMCOM 2004»
15 years 6 months ago
Modeling TCP performance with proxies
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
Navid Ehsan, Mingyan Liu
EUROPAR
2005
Springer
16 years 11 days ago
A Generic Language for Dynamic Adaptation
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...
Assia Hachichi, Gaël Thomas, Cyril Martin, Be...
SIGSOFT
2007
ACM
16 years 7 months ago
Quantitative verification: models techniques and tools
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
Marta Z. Kwiatkowska