17054 search results - page 260 / 3411 » Logics of Dynamical Systems |
186
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...
190
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
244
click to vote
EAGC
2003
Springer
16 years 14 days ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
218
click to vote
WSC
1998
15 years 8 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
166
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...