10263 search results - page 1699 / 2053 » From Use Cases to System Operation Specifications |
210
Voted
VLC
2008
15 years 7 months ago
2008
This article describes an architecture for translating speech into Spanish Sign Language (SSL). The architecture proposed is made up of four modules: speech recognizer, semantic a...
237
click to vote
LICS
2002
IEEE
16 years 17 days ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
190
Voted
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
As the performance gap between processors and memory systems increases, the CPU spends more time stalled waiting for data from main memory. Critical long latency instructions, suc...
226
Voted
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
181
click to vote
ISCA
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose “secret-protected (SP)” architecture to enable secure and convenient protection of critical secrets for a given user in an on-line environment. Keys are examples of...