Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. C. Cheung
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Reachability Analysis of Finite-State Distributed Systems With User-Specified Constraints
Inter-Context Control-Flow and Data-Flow Test Adequacy Criteria for nesC Applications
