Login / Signup

Contextual Trace Refinement for Concurrent Objects: Safety and Progress.

Brijesh DongolLindsay Groves
Published in: ICFEM (2016)
Keyphrases
  • contextual information
  • d objects
  • multiple objects
  • neural network
  • object level
  • database
  • real time
  • databases
  • moving objects
  • query refinement
  • real world objects
  • contextual cues