Sciweavers

5255 search results - page 17 / 1051
» Formal Methods for Privacy
Sort
View
90
Voted
OOPSLA
2000
Springer
15 years 6 months ago
Practical virtual method call resolution for Java
Vijay Sundaresan, Laurie J. Hendren, Chrislain Raz...
212
Voted
TFM
2009
Springer
292views Formal Methods» more  TFM 2009»
15 years 9 months ago
Teaching Formal Methods Based on Rewriting Logic and Maude
Peter Csaba Ölveczky
172
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 6 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
SEC
2008
15 years 3 months ago
Facilitating Privacy Related Decisions in Different Privacy Contexts on the Internet by Evaluating Trust in Recipients of Privat
Every time a user uses the Internet, a wealth of personal information is revealed, either voluntarily or involuntarily. This often causes privacy breaches, specially if the informa...
Indrajit Ray, Sudip Chakraborty