4609 search results - page 238 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
151
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we present an automatic human portrait system based on the And-Or graph representation. The system can automatically generate a set of life-like portraits ...
166
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Proteins are comprised of one or several building blocks, known as domains. Such domains can be classified into families according to their evolutionary origin. Wherea...
169
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...