Lin

Results: 4451



#Item
1Software development / Computing / Debugging / Aspect-oriented software development / Aspect-oriented programming / Delta debugging / Extreme programming / Software testing / Debugger / Software bug / AspectJ / Spring Framework

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
2Debugging / Delta debugging / Complement system

Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
3Logic / Mathematics / Automated theorem proving / Formal languages / Resolution / Literal / Regular expression / Philosophy of mathematics / (SAT /  -UNSAT)

Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng Tang

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-07-10 08:45:22
4Geometry / Digital photography / Angular defect / Hyperbolic geometry / Polyhedra / Image noise / Random sample consensus

Learning to Detect Multiple Photographic Defects Ning Yu 1 Xiaohui Shen 2 Zhe Lin 2 1

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2018-03-08 21:41:36
5Telecommunications engineering / Radio resource management / Information and communications technology / Technology / Electrical engineering / Network performance / 5G / Internet of things / Technology forecasting / Throughput / Channel allocation schemes / Computer network

DYNAMIC SPECTRUM MANAGEMENT FOR 5G Advanced Dynamic Channel Access Strategy in Spectrum Sharing 5G Systems Siyu Lin, Linghe Kong (corresponding author), Qian Gao, Muhammad Khurram Khan, Zhangdui Zhong, Xi Jin, and Peng

Add to Reading List

Source URL: wirelesslab.sjtu.edu.cn

Language: English - Date: 2017-12-01 00:35:36
6Software / System software / Azumio / Microsoft App-V / Social networking services / Computing / Social media / Terms of service / Internet privacy / Universal Windows Platform apps / Privacy concerns with social networking services

I’ll Be Back: On the Multiple Lives of Users of a Mobile Activity Tracking Application Zhiyuan Lin Tim Althoff

Add to Reading List

Source URL: www.timalthoff.com

Language: English - Date: 2018-03-11 23:14:57
7Computing / Information and communications technology / Technology / Bluetooth / Wireless / Computer security / Computer network / SMS / Password / Dropbox / Gmail / Email

SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo-

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2011-03-20 04:03:39
8

Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2018-10-25 09:08:10
    9Computer security / Cybercrime / Cyberwarfare / Computer network security / Security engineering / Computing / National security / Deception technology / Cyberattack / Intrusion detection system / Botnet / Denial-of-service attack

    Poster: A Website Protection Framework Against Targeted Attacks based on Cyber Deception Jianbao Lin*, Chaoge Liu†, Xiang Cui*†‡, Zhaopeng Jia* * Beijing University of Posts and Telecommunications, Beijing, China

    Add to Reading List

    Source URL: www.ieee-security.org

    Language: English - Date: 2017-05-15 12:53:26
    10

    Applications Lin´eaires S2 Math´ematiques G´en´erales 1 11MM21 Les notes qui suivent sont en partie inspir´ees des sites : http://uel.unisciel.fr/mathematiques/espacevect1/espacevect1 et

    Add to Reading List

    Source URL: math.univ-bpclermont.fr

    Language: French - Date: 2018-03-05 11:11:22
      UPDATE