Sciweavers

4870 search results - page 702 / 974
» Challenges of component-based development
Sort
View
EIT
2008
IEEE
15 years 8 months ago
Experiments in attacking FPGA-based embedded systems using differential power analysis
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
Song Sun, Zijun Yan, Joseph Zambreno
ICCV
2007
IEEE
15 years 8 months ago
COST: An Approach for Camera Selection and Multi-Object Inference Ordering in Dynamic Scenes
Development of multiple camera based vision systems for analysis of dynamic objects such as humans is challenging due to occlusions and similarity in the appearance of a person wi...
Abhinav Gupta, Anurag Mittal, Larry S. Davis
ETRA
2008
ACM
71views Biometrics» more  ETRA 2008»
15 years 8 months ago
Improving the accuracy of gaze input for interaction
Using gaze information as a form of input poses challenges based on the nature of eye movements and how we humans use our eyes in conjunction with other motor actions. In this pap...
Manu Kumar, Jeff Klingner, Rohan Puranik, Terry Wi...
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
FM
2008
Springer
137views Formal Methods» more  FM 2008»
15 years 8 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux