Login / Signup

Verifying temporal constraints on data in multi-rate transactions using timed automata.

Anders WallKristian SandströmJukka Mäki-TurjaChrister NorströmWang Yi
Published in: RTCSA (2000)
Keyphrases
  • temporal constraints
  • database
  • databases
  • computer vision
  • lower bound
  • data management
  • keywords
  • image classification
  • user defined