2553 search results - page 270 / 511 » Modeling Trees with Hypertextures |
184
click to vote
ASIAN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
201
click to vote
PQCRYPTO
2010
15 years 10 months ago
2010
Abstract. We propose a variant of the “bonsai tree” signature scheme, a latticebased existentially unforgeable signature scheme in the standard model. Our construction offers ...
201
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
172
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
140
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...