4211 search results - page 725 / 843 » A formal approach to MASQ |
188
click to vote
ICPPW
2000
IEEE
15 years 10 months ago
2000
IEEE
Proxy caches have become a central mechanism for reducing the latency of web document retrieval. While caching alone reduces latency for previously requested documents, web docume...
164
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
149
click to vote
CSCW
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we investigate how consistency can be ensured for replicated continuous interactive media, i.e., replicated media which change their state in reaction to user initia...
147
click to vote
CG
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
154
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....