10156 search results - page 40 / 2032 » Step by Step to Histories |
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Micro-data protection is a hot topic in the field of Statistical Disclosure Control (SDC), that has gained special interest after the disclosure of 658000 queries by the AOL searc...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
105
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...