13043 search results - page 2433 / 2609 » Simulation of the research process |
148
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
150
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
144
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
130
Voted
PKDD
2007
Springer
15 years 9 months ago
2007
Springer
Randomized Response techniques have been empirically investigated in privacy preserving association rule mining. However, previous research on privacy preserving market basket data...
152
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...