2540 search results - page 157 / 508 » Abstract Logics as Dialgebras |
169
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
154
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
155
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
130
click to vote
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
188
click to vote
BIRTHDAY
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...