1253 search results - page 198 / 251 » A Case Study of Requirements Elicitation Process with Change... |
ERCIMDL
2010
Springer
14 years 11 months ago
2010
Springer
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
AEI
2008
14 years 10 months ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
101
click to vote
CCE
2011
14 years 5 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...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper discusses a hybrid approach for the multi-channel source separation, where both a time-frequency (t-f) mask and a multichannel Wiener filter (WF) are utilized. T-f mas...