4350 search results - page 774 / 870 » Case studies for contract-based systems |
CCE
2011
13 years 3 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
MANSCI
2010
13 years 3 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
PROCEDIA
2010
13 years 3 months ago
2010
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
TASLP
2010
13 years 3 months ago
2010
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
TSE
2010
13 years 3 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...