1054 search results - page 124 / 211 » A Formalization of the Turing Test |
196
click to vote
FMICS
2009
Springer
16 years 28 days ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
157
click to vote
SBMF
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
172
click to vote
ADHOCNOW
2008
Springer
16 years 21 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
185
click to vote
AIME
2007
Springer
16 years 16 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
197
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...