Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions-Reference-Cited by-同舟云学术

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions

Published:2014 Issue: Volume: Page:74-87
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
language:
Short-container-title:

Author:

Čaušević Aida,Seceleanu Cristina,Pettersson Paul

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45231-8_6

Reference23 articles.

1. Lecture Notes in Artificial Intelligence;V. Tamma,2002

2. Lecture Notes in Computer Science;M. Resinas,2006

3. Paurobally, S., Tamma, V.A.M., Wooldridge, M.: A framework for web service negotiation. TAAS 2(4) (2007)

4. Mu-kun, C., Chi, R., Liu, Y.: Service oriented automated negotiation system architecture. In: 6th International Conference on Service Systems and Service Management, ICSSSM 2009, pp. 216–221 (2009)

5. Mobach, D.: Agent-Based Mediated Service Negotiation. PhD thesis, Vrije University (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Based Evaluation of Energy Saving Systems;Green IT Engineering: Concepts, Models, Complex Systems Architectures;2016-09-22

2. A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems;Journal of Rail Transport Planning & Management;2016-09

3. Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016

4. Introduction to Track on Engineering Virtualized Services;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014