8828 search results - page 212 / 1766 » Formal methods in practice |
156
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
164
click to vote
CCS
2011
ACM
14 years 5 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
152
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
140
click to vote
ESA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the present work, we are interested in the practical behavior of a new fptas to solve the approximation version of the 0-1 multiobjective knapsack problem. Nevertheles...
172
Voted
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...