5255 search results - page 756 / 1051 » Formal Methods for Privacy |
156
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
168
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
194
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
163
click to vote
APSEC
2006
IEEE
16 years 22 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
185
Voted
SAINT
2006
IEEE
16 years 20 days ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...