7080 search results - page 132 / 1416 » Designing High Integrity Systems Using Aspects |
IPSN
2007
Springer
15 years 5 months ago
2007
Springer
We introduce a novel laser spectroscopic trace-gas sensor platform, LaserSPECks that integrates recently developed miniature quartz-enhanced photoacoustic spectroscopy (QEPAS) gas...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
ICALT
2008
IEEE
15 years 5 months ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
INTERSPEECH
2010
14 years 6 months ago
2010
Automatic pronunciation assessment has several difficulties. Adequacy in controlling the vocal organs is often estimated from the spectral envelopes of input utterances but the en...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
The use of CMOS nanometer technologies at 65 nm and below will pose serious challenges on the design of mixed-signal integrated systems in the very near future. Rising design comp...