[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Model checking service compositions under resource constraints
- 作者Foster, Howard; Emmerich, Wolfgang; Kramer, Jeff; Magee, Jeff; Rosenblum, David; Uchitel, Sebastian
- 文件大小412.49KB
- 发表时间2007
- DOI10.1145/1287624.1287657
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - SMaskJohns, Martin; Beyerlein, Christian · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - RemoteFSUppuluri, Prem; Singh, Sachin; Joshi, Uday · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - SQUAREGramoli, Vincent; Anceaume, Emmanuelle; Virgillito, Antonino · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - WorldsensChelius, Guillaume; Fraboulet, Antoine; Fleury, Eric · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Certain trustRies, Sebastian · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - UnichosQu, Ning; Zhao, Yulai; Guan, Xuetao; Cheng, Xu · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - ClassStruggleLamprier, Sylvain; Amghar, Tassadit; Levrat, Bernard; Saubion, Frederic · 2007
[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - SNetYu, Jianjun; Su, Hao; Zhou, Gang; Xu, Ke · 2007