Sciweavers

3792 search results - page 330 / 759
» Techniques for Trusted Software Engineering
Sort
View
TC
2011
15 years 1 months ago
Hybrid Binary-Ternary Number System for Elliptic Curve Cryptosystems
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
Jithra Adikari, Vassil S. Dimitrov, Laurent Imbert
VMCAI
2012
Springer
14 years 2 months ago
A General Framework for Probabilistic Characterizing Formulae
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
Joshua Sack, Lijun Zhang
ICSE
2012
IEEE-ACM
13 years 9 months ago
Recovering traceability links between an API and its learning resources
—Large frameworks and libraries require extensive developer learning resources, such as documentation and mailing lists, to be useful. Maintaining these learning resources is cha...
Barthélémy Dagenais, Martin P. Robil...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Tools for Understanding the Behavior of Telecommunication Systems
Many methods and tools for the reengineering of software systems have been developed so far. However, the domain-specific requirements of telecommunication systems have not been a...
André Marburger, Bernhard Westfechtel