453 search results - page 61 / 91 » From restrictive to prescriptive design |
213
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
173
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
182
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
A fair network payment protocol plays an important role in electronic commerce. The fairness concept in payments can be illustrated as that two parties (e.g. customers and merchant...
190
click to vote
AMAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
200
click to vote
AAAI
2008
15 years 9 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...