2741 search results - page 102 / 549 » Designing Law-Compliant Software Requirements |
187
click to vote
CCS
2009
ACM
15 years 10 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...
178
click to vote
CHES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Performance evaluation of the Advanced Encryption Standard candidates has led to intensive study of both hardware and software implementations. However, although plentifu...
175
click to vote
WOA
2001
15 years 7 months ago
2001
Nowadays, robots have to face very complex tasks, often requiring collaboration between several individuals. As a consequence, robotics can be considered one of the most suitable ...
157
click to vote
JMM2
2007
15 years 6 months ago
2007
—Optical flow algorithms are difficult to apply to robotic vision applications in practice because of their extremely high computational and frame rate requirements. In most case...
184
click to vote
TCOM
2010
15 years 1 months ago
2010
Fair weights have been implemented to maintain fairness in recent resource allocation schemes. However, designing fair weights for multiservice wireless networks is not trivial bec...