Sciweavers

11462 search results - page 470 / 2293
» Developing Application-Centric Methods
Sort
View
QUESTA
2008
82views more  QUESTA 2008»
15 years 6 months ago
Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime
To obtain insight in the quality of heavy-traffic approximations for queues with many servers, we consider the steady-state number of waiting customers in an M/D/s queue as s . I...
Augustus J. E. M. Janssen, Johan van Leeuwaarden, ...
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
BIRTHDAY
2010
Springer
15 years 5 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
COR
2008
131views more  COR 2008»
15 years 5 months ago
Queueing analysis of a server node in transaction processing middleware systems
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
Wei Xiong, Tayfur Altiok
EOR
2008
85views more  EOR 2008»
15 years 5 months ago
Asset and liability modelling for participating policies with guarantees
We study the problem of asset and liability management of participating insurance policies with guarantees. We develop a scenario optimization model for integrative asset and liab...
Andrea Consiglio, Flavio Cocco, Stavros A. Zenios