82 search results - page 17 / 17 » ifip 2010 |
IFIP
2010
Springer
13 years 6 days ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
FMAM
2010
13 years 3 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...