2558 search results - page 479 / 512 » Model Composition Contracts |
121
click to vote
PAIRING
2010
Springer
15 years 11 days ago
2010
Springer
Lewko and Waters [Eurocrypt 2010] presented a fully secure HIBE with short ciphertexts. In this paper we show how to modify their construction to achieve anonymity. We prove the s...
133
click to vote
SCP
2010
15 years 10 days ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
142
click to vote
SOCINFO
2010
15 years 10 days ago
2010
Abstract. Online tools for collaboration and social platforms have become omnipresent in Web-based environments. Interests and skills of people evolve over time depending in perfor...
127
click to vote
TSE
2010
15 years 9 days ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
118
Voted
BMVC
2010
14 years 12 months ago
2010
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...