Skip to main content

3 Result(s)

within Conference Paper Remove this filter Jun-Wei **ong Remove this filter Programming Languages, Compilers, Interpreters Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Runtime Verification of Data-Centric Properties in Service Based Systems

    For service-based systems which are composed of multiple independent stakeholders, correctness cannot be ascertained statically. Continuous monitoring is required to assure that runtime behavior of the systems...

    Guoquan Wu, Jun Wei, Chunyang Ye, **aozhe Shao, Hua Zhong… in Runtime Verification (2012)

  2. Chapter and Conference Paper

    An HTML Fragments Based Approach for Portlet Interoperability

    Presentation level integration now becomes an important and fast growing trend in enterprise computing and portals are the mainstream to realize it. However, there is not yet a definitive mechanism to achieve ...

    **gyu Song, Jun Wei, Shuchao Wan in Distributed Applications and Interoperable Systems (2007)

    Download PDF (1338 KB)

  3. No Access

    Chapter and Conference Paper

    A Formal Framework for Ontology Integration Based on a Default Extension to DDL

    The information society demands complete information from multiple sources, where available information is often heterogeneous and distributed. Because of semantic heterogeneities among ontologies of different...

    Yinglong Ma, Jun Wei, Beihong **… in Theoretical Aspects of Computing - ICTAC 2… (2005)