Sciweavers

4870 search results - page 407 / 974
» Construction of Wavelets and Applications
Sort
View
242
Voted
CBSE
2008
Springer
15 years 9 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
223
Voted
CISC
2008
Springer
117views Cryptology» more  CISC 2008»
15 years 9 months ago
Strong Anonymous Signatures
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...
Rui Zhang 0002, Hideki Imai
AGTIVE
2007
Springer
15 years 9 months ago
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
Erhard Weinell
218
Voted
EDUTAINMENT
2008
Springer
15 years 9 months ago
A Sufficient Condition for Uniform Convergence of Stationary p-Subdivision Scheme
Subdivision is a convenient tool to construct objective curves and surfaces directly from given scattered points. Stationary p-subdivision schemes are highly efficient in the acqui...
Yi-Kuan Zhang, Ke Lu, Jiangshe Zhang, Xiaopeng Zha...
226
Voted
EKAW
2008
Springer
15 years 9 months ago
Ontological Profiles in Enterprise Search
Ontology-driven search applications use ontological concepts either to index documents or to guide and understand the users. Since ontologies by nature are domain-dependent and app...
Geir Solskinnsbakk, Jon Atle Gulla