4480 search results - page 849 / 896 » Prototyping Completion with Constraints Using Computational ... |
279
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...
148
click to vote
CICLING
2007
Springer
15 years 11 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
138
click to vote
CSEE
2000
Springer
15 years 9 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
369
click to vote
GRAPHICSINTERFACE
1996
15 years 6 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
177
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...