Sciweavers

7519 search results - page 448 / 1504
» Optimizing Generic Functions
Sort
View
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
SEMWEB
2009
Springer
16 years 1 months ago
Lily: Ontology Alignment Results for OAEI 2009
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
Peng Wang, Baowen Xu
CISIM
2007
IEEE
16 years 1 months ago
Universally Composable Key-Evolving Signature
The standard digital signature scheme can be easily subject to key exposure problem In order to overcome this problem; a feasible and effective approach is employed by key-evolving...
Jin Zhou, Yuefei Zhu, TingMao Chang, YaJuan Zhang
ESORICS
2007
Springer
16 years 1 months ago
On the Privacy of Concealed Data Aggregation
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
Aldar C.-F. Chan, Claude Castelluccia
MABS
2007
Springer
16 years 1 months ago
E Pluribus Unum: Polyagent and Delegate MAS Architectures
For the past few years, our research groups have independently been developing systems in which a multi-agent system (typically of lightweight agents) provides some functionality i...
H. Van Dyke Parunak, Sven Brueckner, Danny Weyns, ...