Search this site:
Home
City University of Hong Kong
Department of Computer Science
Research
Teaching
Professional Services
Grants
For New Research Students
Tools
MSEC
Home
»
Master index
»
Research
» NBRC 2006CB303000
NBRC 2006CB303000
Atomicity analysis of service composition across organizations
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
Grants
Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Selected Tags
conference
journal
Tag Groups
Research
Teaching
Links
