3628 search results - page 72 / 726 » The Decision Diffie-Hellman Problem |
133
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a combinatorial framework for the study of a natural class of distributed optimization problems that involve decisionmaking by a collection of n distributed agents in th...
174
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
163
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
170
click to vote
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
This paper covers the research problem of supporting users' decision making in E-Commerce systems with complex choices, and design of an Adaptive Decision Support System (ADS...
164
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...