Skip to main content

4 Result(s)

within Yuechen Qian Remove this filter Computer Science Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    UML in Action: Integrating Formal Methods in Industrial Design Education

    When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification methods such as the Universal M...

    Jun Hu, Philip Ross, Loe Feijs, Yuechen Qian in Technologies for E-Learning and Digital En… (2007)

  2. No Access

    Chapter and Conference Paper

    Turning Photo Annotating Tasks into Instant Messaging Fun: Prototy**, User Trials, and Roadmap**

    In this article we report on our research that integrates photo annotation tasks into online chatting. Users of our system can share and annotate digital photos online while chatting. There are two major innov...

    Yuechen Qian, Loe M. G. Feijs in Entertainment Computing – ICEC 2004 (2004)

  3. No Access

    Chapter and Conference Paper

    Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates

    In mobile computing environments, logging systems are often used to record updates during device disconnection and logs are used in data synchronization on reconnection. Portable devices often have resource co...

    Yuechen Qian in Formal Methods and Software Engineering (2003)

  4. No Access

    Article

    A syntactic proof of the conservativity of λω over λ2

    In this paper, the relationship between the second order typed λ-calculus λ2 and its higher order version λω is discussed. A purely syntactic proof of the conservativity of λω over λ2 is given.

    Fangmin Song, Yuechen Qian in Journal of Computer Science and Technology (1999)