Sciweavers

FIW
2007
133views Communications» more  FIW 2007»
14 years 1 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...
VL
2007
IEEE
134views Visual Languages» more  VL 2007»
14 years 6 months ago
A Comprehensive Evaluation of Workspace Awareness in Software Configuration Management Systems
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
Anita Sarma, André van der Hoek, David F. R...