5255 search results - page 149 / 1051 » Formal Methods for Privacy |
106
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
87
Voted
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
98
Voted
TFM
2009
Springer
15 years 8 months ago
2009
Springer
114
Voted
MPC
1998
Springer
15 years 7 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
107
Voted
FOCM
2011
14 years 7 months ago
2011
