4117 search results - page 530 / 824 » On the Satisfiability of Complex Constraints |
191
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
—A challenge in providing scientific data services to a broad user base is to also provide the metadata services and tools the user base needs to correctly interpret and trust t...
163
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
175
click to vote
SIGADA
2001
Springer
15 years 11 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
169
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
174
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...