We investigate the phenomenon of adversarial collaboration, through field studies of a legal firm. Adversarial collaboration requires that people with opposing goals come to agree...
Software design is a team activity, and designing effective tools to support collaborative software design is a challenging task. Designers work together in a variety of different ...
Abstract. A groupware that integrates synchronous and asynchronous collaboration paradigms is developed to support international medical collaboration activities carried out among ...
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....