Sciweavers

3792 search results - page 585 / 759
» Techniques for Trusted Software Engineering
Sort
View
CODES
2007
IEEE
16 years 28 days ago
A smart random code injection to mask power analysis based side channel attacks
One of the security issues in embedded system is the ability of an adversary to perform side channel attacks. Power analysis attacks are often very successful, where the power seq...
Jude Angelo Ambrose, Roshan G. Ragel, Sri Paramesw...
GECCO
2007
Springer
198views Optimization» more  GECCO 2007»
16 years 22 days ago
On the design of optimisers for surface reconstruction
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
Tobias Wagner, Thomas Michelitsch, Alexei Sacharow
UIST
2004
ACM
15 years 12 months ago
Revisiting visual interface programming: creating GUI tools for designers and programmers
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
Stéphane Chatty, Stéphane Sire, Jean...
PLPV
2010
ACM
15 years 8 months ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
IASTEDSEA
2004
15 years 8 months ago
An empirical investigation for different sequences of pedagogical framework documentation in RAD
Frameworks are increasingly employed as a useful way to enable object-oriented reuse. However, their size and complexity make understanding how to use them difficult. Previous wor...
Sin Ban Ho, Ian Chai, Chuie Hong Tan