4609 search results - page 291 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
185
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
151
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
137
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
221
Voted
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...