[IEEE 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops
- 作者de la Iglesia, Didac Gil; Weyns, Danny
- 文件大小705.90KB
- 发表时间2013
- DOI10.1109/SEAMS.2013.6595495
- 页码83-92
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Electronic color printing technologyStarkweather, G.K. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Data storage IC technologyKovacs, J.; Kroesen, R. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Mediaprocessing in the compressed domainBhaskaran, V. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Architecture of a broadband mediaprocessorHansen, C. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Interactive television settop terminal architecturesNair, A.N. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - MicroUnity software development environmentHayes, R.; Loyola, G.; Abbott, C.; Massalin, H. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Mobile agent security and TelescriptTardo, J.; Valente, L. · 1996
[IEEE Comput. Soc. Press COMPCON '96. Technologies for the Information Superhighway Digest of Papers - Santa Clara, CA, USA (25-28 Feb. 1996)] COMPCON '96. Technologies for the Information Superhighway Digest of Papers - The Tiger Shark file systemHaskin, R.L.; Schmuck, F.B. · 1996