236 research outputs found

    State-Taint Analysis for Detecting Resource Bugs

    Get PDF

    Type Learning for Binaries and its Applications

    Get PDF

    A Research on Tourism E-Business of Shanxi

    Get PDF
    E-business has become a new growth point of current economic development in the world. The natural adaptability between tourism and E-business gives birth to tourism E-business. The tourism resources in Shanxi are unique, yet its tourism development level and the abundant resources are not harmonious. To transform its resource advantage into economic advantage, developing tourism E-business is very urgent and necessary. In this article, through quantitative analysis and qualitative analysis methods, we find out the problems existing in the development of tourism E-business in Shanxi, and put forward corresponding development measures, especially the mobile E-tourism based on 3G technology, which is a new pattern and will become the development direction of Shanxi’s tourism E-business in the future. The research aims at providing practical references for the tourism management departments and enterprises in Shanxi to enhance its competitiveness and promote its sustainable development

    Learning Types for Binaries

    Get PDF

    A Program Logic for Reasoning About C11 Programs With Release-Sequences

    Get PDF
    • …
    corecore