5255 search results - page 241 / 1051 » Formal Methods for Privacy |
228
click to vote
AMAI
2011
Springer
14 years 4 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
151
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
137
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
138
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
159
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...