7123 search results - page 1192 / 1425 » The Ordered Set of Rough Sets |
164
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
181
click to vote
CRYPTO
1987
Springer
15 years 10 months ago
1987
Springer
Many distributed systems manage some form of long-lived data, such as files or data bases. The performance and fault-tolerance of such systems may be enhanced if the repositories ...
142
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
In the course of developing a system for fitting smooth curves to camera input we have developed several direct (i.e. noniterative) methods for fitting a shape (line, circle, conic...
201
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
193
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...