1677 search results - page 79 / 336 » On the Completeness of Quantum Computation Models |
TC
2010
14 years 8 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
ENTCS
2007
15 years 1 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
112
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...
118
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...