1261 search results - page 156 / 253 » A Hierarchy of Temporal Properties |
ISORC
2000
IEEE
14 years 1 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
ECAI
2008
Springer
14 years 14 hour ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...
AAAI
1992
13 years 11 months ago
1992
Constraint networks have been shown to be useful in formulating such diverse problems as scene labeling, natural language parsing, and temporal reasoning. Given a constraint netwo...
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
IGPL
2010
13 years 7 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...