1376 search results - page 125 / 276 » Model-Driven Software Verification |
152
click to vote
CSREAPSC
2006
15 years 4 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...
145
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
133
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
141
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
114
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...