506 search results - page 26 / 102 » Proving Properties about Lists Using Containers |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
GEM
2008
14 years 11 months ago
2008
This paper presents a realtime music composition system based on a theme and variation approach. The system uses MIDI and allows up to sixteen instruments to play together. Each in...
CC
2004
Springer
15 years 3 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
CSFW
2012
IEEE
13 years 4 days ago
2012
IEEE
Abstract—This paper introduces g-leakage, a rich generalization of the min-entropy model of quantitative information flow. In g-leakage, the benefit that an adversary derives f...
IJAR
2007
14 years 9 months ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...