5255 search results - page 285 / 1051 » Formal Methods for Privacy |
113
click to vote
IJCM
2007
15 years 4 months ago
2007
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...
136
click to vote
IJDE
2007
15 years 4 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
129
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
121
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
124
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...