2044 search results - page 275 / 409 » System theory for numerical analysis |
146
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
137
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—This work develops a discrete-time dynamical feedback system model for a simplified TCP network with RED control and provides a nonlinear analysis that can help in unde...
148
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
127
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
130
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...