4609 search results - page 187 / 922 » Automatic Generation of Sigma-Protocols |
198
click to vote
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Service creation by composing existing services and/or network resources is considered by Telecom and Internet industries as the trend for service provisioning in Next Generati...
173
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
160
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...
192
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
163
click to vote
LREC
2010
15 years 8 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...