504 search results - page 85 / 101 » Reasoning about local properties in modal logic |
109
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
133
click to vote
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
113
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
112
click to vote
AAAI
2007
15 years 4 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
137
click to vote
GIS
2008
ACM
15 years 2 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...