Sciweavers

861 search results - page 11 / 173
» Predicting change impact from logical models
Sort
View
WCE
2007
13 years 8 months ago
Numerical Simulation of Impacts involving a Collapsible Nonlinear Multilayer Structure
—A numerical model for the simulation of dynamic compression of a nonlinear multilayer structure subjected to transient compressive excitation is described and tested. It is show...
Michael A. Sek
CORR
2000
Springer
92views Education» more  CORR 2000»
13 years 7 months ago
Predicting the expected behavior of agents that learn about agents: the CLRI framework
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the ...
José M. Vidal, Edmund H. Durfee
ISPW
2007
IEEE
14 years 1 months ago
The Economic Impact of Software Process Variations
The economic benefit of a certain development process or particular activity is usually unknown and indeed hard to predict. However, the cost-effectiveness of process improvement...
Florian Deissenboeck, Markus Pizka
VLSID
2002
IEEE
129views VLSI» more  VLSID 2002»
14 years 7 months ago
Efficient Generation of Delay Change Curves for Noise-Aware Static Timing Analysis
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
Kanak Agarwal, Yu Cao, Takashi Sato, Dennis Sylves...
WABI
2007
Springer
14 years 1 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha