Sciweavers

445 search results - page 42 / 89
» A Systematic Construction of Abstract Domains
Sort
View
LATINCRYPT
2010
13 years 7 months ago
Broadcast Encryption with Multiple Trust Authorities
Abstract. In this paper we extend the notion of hierarchical identitybased encryption with wildcards (WIBE) from the domain of a single Trusted Authority (TA) to a setting with mul...
Kent D. Boklan, Alexander W. Dent, Christopher A. ...
ICDM
2010
IEEE
125views Data Mining» more  ICDM 2010»
13 years 6 months ago
Evolving Ensemble-Clustering to a Feedback-Driven Process
Abstract--Data clustering is a highly used knowledge extraction technique and is applied in more and more application domains. Over the last years, a lot of algorithms have been pr...
Martin Hahmann, Dirk Habich, Wolfgang Lehner
ECIR
2011
Springer
13 years 10 days ago
Visual Exploration of Health Information for Children
Abstract. Children experience several difficulties retrieving information using current Information Retrieval (IR) systems. Particularly, children struggle to find the right keywo...
Frans van der Sluis, Sergio Duarte Torres, Djoerd ...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
13 years 10 days ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
AOSD
2010
ACM
13 years 9 months ago
An architecture for composing embedded domain-specific languages
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
Tom Dinkelaker, Michael Eichberg, Mira Mezini