Date 6-8 Nov. 2012
Filter Results
Displaying Results 1 - 25 of 52
-
[Cover art]
|
PDF (916 KB)
-
[Title page i]
|
PDF (38 KB)
-
[Title page iii]
|
PDF (88 KB)
-
[Copyright notice]
|
PDF (114 KB)
-
Table of contents
|
PDF (160 KB)
-
Preface
|
PDF (105 KB)
-
Conference Committee
|
PDF (73 KB)
-
Keynote speakers [3 abstracts]
|
PDF (162 KB)
-
Reviewers
|
PDF (66 KB)
-
-
-
-
Query Expansion Based on Mongolian Semantics
|
PDF (196 KB)
-
Structural Join Oriented XML Data Compression
|
PDF (175 KB)
-
-
Assertion-Directed Test Case Generation
|
PDF (155 KB)
-
-
-
-
Efficient Model Checking and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines
|
PDF (213 KB)
-
-
-
-
-
Build Up Secure Internet Identity Management
|
PDF (129 KB)


