5363 search results - page 1013 / 1073 » Building the Cerebellum in a Computer |
187
click to vote
KBSE
2007
IEEE
16 years 13 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
184
click to vote
RTSS
2007
IEEE
16 years 13 days ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
184
click to vote
RTSS
2007
IEEE
16 years 13 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
176
click to vote
TPHOL
2007
IEEE
16 years 13 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
182
click to vote
APPROX
2007
Springer
16 years 10 days ago
2007
Springer
We give a polynomial time construction of binary codes with the best currently known trade-off between rate and error-correction radius. Specifically, we obtain linear codes ove...