3624 search results - page 468 / 725 » Abstract Algebraic Logic |
202
click to vote
FMICS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
170
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
146
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
185
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
211
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...