1890 search results - page 48 / 378 » Model-Based Testing in Practice |
DAC
1998
ACM
16 years 24 days ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—We propose a non-coherent receiver for the fixed detect-and-forward relay channel and derive a closed-form tight upper bound on its bit error probability in Rayleigh fading cha...
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
ASWEC
2000
IEEE
15 years 4 months ago
2000
IEEE
We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of softw...