10916 search results - page 1810 / 2184 » On Constructive Connectives and Systems |
209
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
152
click to vote
COMPUTER
1998
15 years 6 months ago
1998
Much of a computer’s value depends on how well it interacts with networks. To enhance this value, designers must improve the performance of networks delivered to users. Fortunat...
182
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--We continue the study of adaptive schemes for the sequential lossy coding of individual sequences which was recently initiated by Linder and Lugosi. Specifically, we cons...
194
click to vote
WINET
2002
15 years 6 months ago
2002
In the near future, we will see dramatic changes in computing and networking hardware. A large number of devices (e.g., phones, PDAs, even small household appliances) will become c...