959 search results - page 1 / 192 » Transfers between Logics and their Applications |
SLOGICA
2002
13 years 4 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
ICPP
2006
IEEE
13 years 10 months ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...
GRID
2004
Springer
13 years 10 months ago
2004
Springer
Allowing loose coupling between complex e-Science applications has many advantages, such as being able to easily incorporate new applications and to flexibly specify how the appl...
TEAA
2005
Springer
13 years 10 months ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
SIAMCO
2000
13 years 4 months ago
2000
Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech proc...