5255 search results - page 245 / 1051 » Formal Methods for Privacy |
200
click to vote
FOIKS
2010
Springer
15 years 5 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
192
Voted
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
211
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
225
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
207
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...