3628 search results - page 603 / 726 » The Decision Diffie-Hellman Problem |
181
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
122
Voted
LCTRTS
1995
Springer
15 years 7 months ago
1995
Springer
In this paper, we present a preemptive joint scheduling of hard deadline periodic and hard deadline aperiodic tasks on a uniprocessor real-time system. The scheduling has extended...
129
Voted
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
Classification, which involves finding rules that partition a given da.ta set into disjoint groups, is one class of data mining problems. Approaches proposed so far for mining cla...
118
Voted
AAAI
2007
15 years 6 months ago
2007
In most mechanism design settings, optimal general-purpose mechanisms are not known. Thus the automated design of mechanisms tailored to specific instances of a decision scenario...
118
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...