3931 search results - page 469 / 787 » Separation logic and abstraction |
144
click to vote
GD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The typical use of force-directed layout is to create organiclooking, straight-edge drawings of large graphs while combinatorial techniques are generally preferred for hi...
197
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...
229
click to vote
OOIS
2000
Springer
15 years 10 months ago
2000
Springer
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...
169
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Wavelet radiosity is, by its nature, restricted to parallelograms or triangles. This paper presents an innovative technique enabling wavelet radiosity computations on pla...
165
click to vote
WSC
2008
15 years 9 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...