Sciweavers

8555 search results - page 251 / 1711
» Property Based Coordination
Sort
View
EUROCRYPT
2011
Springer
14 years 10 months ago
Decentralizing Attribute-Based Encryption
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
Allison B. Lewko, Brent Waters
BMCBI
2010
135views more  BMCBI 2010»
15 years 7 months ago
A classification approach for genotyping viral sequences based on multidimensional scaling and linear discriminant analysis
Background: Accurate classification into genotypes is critical in understanding evolution of divergent viruses. Here we report a new approach, MuLDAS, which classifies a query seq...
Ji Woong Kim, Yongju Ahn, Kichan Lee, Sung-Hee Par...
ICIP
2008
IEEE
16 years 9 months ago
A post-compensation scheme for Nonlocal Means filter based image restoration
Recent Nonlocal Means filter (NLM) [1] is lack of mean conservation property, that is, image can have different mean before and after being processed. It is not suppose to happen ...
Hao Xu, Jizheng Xu, Feng Wu
CADE
2008
Springer
16 years 7 months ago
Towards SMT Model Checking of Array-Based Systems
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
SEFM
2003
IEEE
16 years 16 days ago
Component-Based Design and Analysis: A Case Study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
Yan Jin, Charles Lakos, Robert Esser