4609 search results - page 291 / 922 » Automatic Generation of Sigma-Protocols |
201
click to vote
PARA
2004
Springer
16 years 19 days 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...
202
click to vote
SEKE
2004
Springer
16 years 18 days 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 ...
169
click to vote
HICSS
2003
IEEE
16 years 17 days 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...
162
click to vote
KBSE
2003
IEEE
16 years 16 days 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 ...
248
click to vote
ISPAN
2002
IEEE
16 years 5 days 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...