17054 search results - page 107 / 3411 » Logics of Dynamical Systems |
126
click to vote
CAISE
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
117
click to vote
FLAIRS
2007
15 years 7 months ago
2007
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
123
click to vote
ARC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we present a systematic design and implementation of reconfigurable interconnects on demand. The proposed on-chip interconnection network provides identic...
185
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...