133
click to vote
AGILEDC
2007
IEEE
16 years 4 days ago
2007
IEEE
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...
159
click to vote
FOSSACS
2009
Springer
16 years 17 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...