5255 search results - page 226 / 1051 » Formal Methods for Privacy |
114
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
145
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
120
click to vote
DSD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
119
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
122
Voted
ICSE
1993
IEEE-ACM
15 years 8 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...