Conflict-Tolerant Features
暂无分享,去创建一个
[1] R.P. Malhame,et al. Supervisory control of distributed systems: conflict resolution , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[2] Robert J. Hall,et al. Feature Interactions in Electronic Mail , 2000, FIW.
[3] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[4] Paul J. Kühn,et al. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..
[5] Joseph Sifakis,et al. Priority Systems , 2003, FMCO.
[6] Feng Lin,et al. Modular Supervisory Control with Priorities for Discrete Event Systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.
[7] Deepak D'Souza,et al. Conflict-Tolerant Real-Time Features , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
[8] Amy P. Felty,et al. Feature specification and automated conflict detection , 2003, TSEM.
[9] Kathi Fisler,et al. Decomposing Verification Around End-User Features , 2005, VSTTE.
[10] Joanne M. Atlee,et al. Composing features and resolving interactions , 2000, SIGSOFT '00/FSE-8.
[11] Kathi Fisler,et al. Decomposing Verification by Features ? , 2005 .
[12] Michael Jackson,et al. Distributed Feature Composition: A Virtual Architecture for Telecommunications Services , 1998, IEEE Trans. Software Eng..
[13] Mark Ryan,et al. Feature integration using a feature construct , 2001, Sci. Comput. Program..
[14] O KeckDirk,et al. The Feature and Service Interaction Problem in Telecommunications Systems , 1998 .
[15] Frank D. Valencia,et al. Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.
[16] Bonaventure Intercontinental,et al. ON DECISION AND CONTROL , 1985 .