257 search results - page 52 / 52 » The Complexity of Model Checking for Propositional Default L... |
DAC
2007
ACM
14 years 6 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
RTSS
2006
IEEE
13 years 11 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...