4190 search results - page 522 / 838 » Type Class Directives |
149
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Non-binary constraint satisfaction problems (CSPs) can be solved in two different ways. We can either translate the problem into an equivalent binary one and solve it using well-e...
118
click to vote
ICOIN
2001
Springer
15 years 9 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
120
click to vote
IH
2001
Springer
15 years 9 months ago
2001
Springer
The goal of zero-knowledge watermark detection is to allow a prover to soundly convince a verifier of the presence of a watermark in certain stego-data without revealing any infor...
196
click to vote
NSF
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We argue that the needs of many classes of modern applications, especially those targeted at mobile or wireless computing, demand the services of content-based publish/su...
137
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose new scheduling algorithms to achieve fault security in multiprocessor systems. We consider scheduling of parallel programs represented by directed acycli...