11374 search results - page 268 / 2275 » A System Demonstration of ST-TCP |
172
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
152
click to vote
CIVR
2007
Springer
16 years 24 days ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
206
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
152
click to vote
ACSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
193
click to vote
AHS
2006
IEEE
16 years 21 days ago
2006
IEEE
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...