2702 search results - page 38 / 541 » Practically Applicable Formal Methods |
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
CANS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Two methods to implement privacy in network communication, anonymity and DCSC (data confidentiality and secure computation) are analysed and compared in regard to privac...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
167
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose the first formal privacy analysis of a data anonymization process known as the synthetic data generation, a technique becoming popular in the statistics c...