Sciweavers

1327 search results - page 206 / 266
» Citing for high impact
Sort
View
ICFEM
2009
Springer
14 years 7 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
DASFAA
2011
IEEE
341views Database» more  DASFAA 2011»
14 years 7 months ago
Utility-Oriented K-Anonymization on Social Networks
\Identity disclosure" problem on publishing social network data has gained intensive focus from academia. Existing k-anonymization algorithms on social network may result in n...
Yazhe WANG, Long XIE, Baihua ZHENG, and Ken C. K. ...
ICCAD
2010
IEEE
108views Hardware» more  ICCAD 2010»
14 years 7 months ago
Mathematical yield estimation for two-dimensional-redundancy memory arrays
Defect repair has become a necessary process to enhance the overall yield for memories since manufacturing a natural good memory is difficult in current memory technologies. This ...
Mango Chia-Tso Chao, Ching-Yu Chin, Chen-Wei Lin
IJACTAICIT
2010
155views more  IJACTAICIT 2010»
14 years 7 months ago
Constructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
Jaakko Korpi, Jussi Koskinen
CNSM
2010
14 years 6 months ago
Risk management in VoIP infrastructures using support vector machines
Telephony over IP is exposed to multiple security threats. Conventional protection mechanisms do not fit into the highly dynamic, open and large-scale settings of VoIP infrastructu...
Mohamed Nassar, Oussema Dabbebi, Remi Badonnel, Ol...