Sciweavers

2470 search results - page 78 / 494
» Liveness-Preserving Simulation Relations
Sort
View
ISTA
2007
15 years 2 months ago
Constructing POSE: A Tool for Eliciting Quality Requirements
: Quality requirements elicitation for new computer applications rests traditionally on interviewing stakeholders. That makes getting these requirements right more complicated than...
Vladimir A. Shekhovtsov, Roland Kaschek, Sergiy Zl...
95
Voted
WSC
2001
15 years 1 months ago
Critical tools identification and characteristics curves construction in a wafer fabrication facility
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...
Dima Nazzal, Mansooreh Mollaghasemi
79
Voted
WSC
2004
15 years 1 months ago
An Importance Sampling Method for Portfolios of Credit Risky Assets
The distribution of possible future losses for a portfolio of credit risky corporate assets, such as bonds or loans, shows strongly asymmetric behavior and a fat tail as the conse...
William J. Morokoff
WSC
2000
15 years 1 months ago
An underlying model for defeat mechanisms
Defeat mechanisms are strategies for achieving victory over an opponent. Although defeat mechanisms often rely on influencing the opponent psychologically and emotionally, most si...
Brent Heeringa, Paul R. Cohen
ABIALS
2008
Springer
15 years 7 months ago
Neural Pathways of Embodied Simulation
Simulation theories have in recent years proposed that a cognitive agent's "inner world" can at least partly be constituted by internal emulations or simulations of ...
Henrik Svensson, Anthony F. Morse, Tom Ziemke