2044 search results - page 275 / 409 » System theory for numerical analysis |
202
click to vote
FM
2003
Springer
16 years 3 days 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...
183
click to vote
INFOCOM
2002
IEEE
15 years 11 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...
192
click to vote
GLOBECOM
2008
IEEE
15 years 8 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...
175
click to vote
FAC
2008
15 years 7 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...
180
click to vote
PPDP
2009
Springer
16 years 1 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...