5090 search results - page 616 / 1018 » Constructing Strategies for Programming |
171
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
184
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: High-throughput sequencing (HTS) technologies play important roles in the life sciences by allowing the rapid parallel sequencing of very large numbers of relatively s...
180
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
196
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...
183
click to vote
DIAGRAMS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...