• Ngôn ngữ
    • Tiếng Việt

    • Chưa được phân loại

    A Web Enhanced Learning Support Environment Using the Ubiquity Technology

    A Web Enhanced Learning Support Environment Using the Ubiquity Technology

    admin

    Tháng Năm 14

    Xem thêm
    Implementing Adaptive Page Layout Algorithm on Embedded Devices

    Implementing Adaptive Page Layout Algorithm on Embedded Devices

    admin

    Tháng Năm 14

    Xem thêm
    Towards scalable agent based web service systems

    Towards scalable agent based web service systems

    admin

    Tháng Năm 14

    Xem thêm
    A Minimized Assumption Generation Method for Component-Based Software Verification

    A Minimized Assumption Generation Method for Component-Based Software Verification

    admin

    Tháng Năm 14

    Xem thêm
    Towards scalable agent-based web service systems: performance evaluation

    Towards scalable agent-based web service systems: performance evaluation

    admin

    Tháng Năm 14

    Xem thêm
    Using B to Verify the Weaving of Aspects

    Using B to Verify the Weaving of Aspects

    admin

    Tháng Năm 14

    Xem thêm
    Verification of UML Model Elements Using B

    Verification of UML Model Elements Using B

    admin

    Tháng Năm 14

    Xem thêm
    Validation of UML scenarios using the B Prover

    Validation of UML scenarios using the B Prover

    admin

    Tháng Năm 14

    Xem thêm
    Validation of UML static diagrams using B

    Validation of UML static diagrams using B

    admin

    Tháng Năm 14

    Xem thêm
    An Approach for the Verification of UML Models Using B

    An Approach for the Verification of UML Models Using B

    admin

    Tháng Năm 14

    Xem thêm
    A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets

    A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets

    admin

    Tháng Năm 14

    Xem thêm
    Checking the Consistency between UCM and PSM Using a Graph-Based Method

    Checking the Consistency between UCM and PSM Using a Graph-Based Method

    admin

    Tháng Năm 14

    Xem thêm
    Analyzing RBAC Security Policy of Implementation Using AST

    Analyzing RBAC Security Policy of Implementation Using AST

    admin

    Tháng Năm 14

    Xem thêm
    Checking the Compliance of Timing Constraints in Software Applications

    Checking the Compliance of Timing Constraints in Software Applications

    admin

    Tháng Năm 14

    Xem thêm
    Coordinated Consensus Analysis of Multi-agent Systems Using Event-B

    Coordinated Consensus Analysis of Multi-agent Systems Using Event-B

    admin

    Tháng Năm 14

    Xem thêm
    A Runtime Approach to Verify Scenario in Multi-agent Systems

    A Runtime Approach to Verify Scenario in Multi-agent Systems

    admin

    Tháng Năm 14

    Xem thêm
    Verifying Java Object Invariants at Runtime

    Verifying Java Object Invariants at Runtime

    admin

    Tháng Năm 14

    Xem thêm
    Refining Undetermined Events for Specifying Concurrent Programs

    Refining Undetermined Events for Specifying Concurrent Programs

    admin

    Tháng Năm 14

    Xem thêm
    Nên học hay chơi?

    Nên học hay chơi?

    Võ Đình Hiếu

    Tháng Tư 24

    Xem thêm
    Nên học hay chơi?

    Nên học hay chơi?

    Võ Đình Hiếu

    Tháng Tư 24

    Xem thêm
    Nên học hay chơi?

    Nên học hay chơi?

    Võ Đình Hiếu

    Tháng Tư 24

    Xem thêm
    Nên học hay chơi?

    Nên học hay chơi?

    Võ Đình Hiếu

    Tháng Tư 24

    Xem thêm
    Protein Type Specific Amino Acid Substitution Models for Influenza Viruses

    Protein Type Specific Amino Acid Substitution Models for Influenza Viruses

    admin

    Tháng Tư 5

    Xem thêm
    Assume-Guarantee Tools for Component-Based Software Verification

    Assume-Guarantee Tools for Component-Based Software Verification

    admin

    Tháng Tư 4

    Xem thêm

    © VNU-UET-Faculty of Information Technology. All rights reserved.