626 search results - page 61 / 126 » When Can Formal Methods Make a Real Difference |
115
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
322
Voted
ACTA
2011
14 years 10 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
139
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...
115
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
The popularity of blogs has been increasing dramatically over the last couple of years. As topics evolve in the blogosphere, keywords align together and form the heart of various ...
131
Voted
WSC
2004
15 years 4 months ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...