6978 search results - page 274 / 1396 » Reframing Requirements Analysis |
203
click to vote
ENTCS
2006
15 years 6 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
193
click to vote
EOR
2006
15 years 6 months ago
2006
We develop WASSP, a wavelet-based spectral method for steady-state simulation analysis. First WASSP determines a batch size and a warm-up period beyond which the computed batch me...
188
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
The Grid computing vision promises to provide the needed platform for a new and more demanding range of applications. For this promise to become true, a number of hurdles, includin...
148
Voted
ICGA
2006
15 years 6 months ago
2006
Who is the best chess player of all time? Chess players are often interested in this question that has never been answered authoritatively, because it requires comparison between c...