6192 search results - page 381 / 1239 » Structure benefits all |
215
click to vote
CN
1998
15 years 7 months ago
1998
Internet transmission and switching facilities are partitioned into different administrative domains. To effect routing between domains, domain border routers establish pairwise p...
193
click to vote
JMLR
2002
15 years 7 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...
223
click to vote
MONET
2002
15 years 7 months ago
2002
Advances in e-commerce have resulted in significant progress towards strategies, requirements, and development of e-commerce applications. However, nearly all e-commerce applicatio...
219
click to vote
SIAMJO
2002
15 years 7 months ago
2002
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...
187
click to vote
TSE
1998
15 years 7 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...