Sciweavers

4870 search results - page 328 / 974
» Construction of Wavelets and Applications
Sort
View
ICALP
2005
Springer
16 years 10 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
UML
2005
Springer
16 years 8 days ago
Transforming Models with ATL
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
Frédéric Jouault, Ivan Kurtev
CCS
2004
ACM
16 years 6 days ago
Reusable cryptographic fuzzy extractors
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
Xavier Boyen
ECAI
2004
Springer
16 years 6 days ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
IMR
2004
Springer
16 years 5 days ago
Visualizing Mesh Adaptation Metric Tensors
Riemannian metric tensors are used to control the adaptation of meshes for finite element and finite volume computations. To study the numerous metric construction and manipulat...
Ko-Foa Tchon, Julien Dompierre, Marie-Gabrielle Va...