2740 search results - page 375 / 548 » A Model-Based Approach To Requirements Analysis |
144
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
120
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Secure communications in wireless ad hoc networks require setting up end-to-end secret keys for communicating node pairs. Due to physical limitations and scalability requirements, ...
107
click to vote
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
We present the results from three motor-imagery-based Brain-Computer Interface experiments. Brain signals were recorded from 8 untrained subjects using EEG, 4 using ECoG and 10 us...
114
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
130
click to vote
WSC
2008
15 years 5 months ago
2008
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...