3179 search results - page 383 / 636 » Applications of PCF Theory |
LCPC
2001
Springer
14 years 1 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
TACS
2001
Springer
14 years 1 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
CHI
1999
ACM
14 years 1 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...