5964 search results - page 246 / 1193 » A theory of speculative computation |
183
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The ubiquity of modular structure in real-world complex networks is being the focus of attention in many trials to understand the interplay between network topology and functionali...
187
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
232
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
225
click to vote
TAP
2010
Springer
15 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
176
click to vote
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose an evidence theory based anonymity measuring approach for wireless mobile ad-hoc networks. In our approach, an evidence is a measure of the number of detected packets w...