5255 search results - page 129 / 1051 » Formal Methods for Privacy |
102
Voted
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
124
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
217
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
125
Voted
RE
1997
Springer
15 years 6 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
FM
1990
Springer
15 years 6 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999