1422 search results - page 179 / 285 » Complementation in Abstract Interpretation |
133
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
123
Voted
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
146
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
122
click to vote
ICCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
147
Voted
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...