Roboterethik
- 期刊名称Ethik in der Medizin
- 作者Catarina Caetano da Rosa
- 卷第28卷
- 期第4期
- 印刷ISSN0935-7335
- 电子ISSN1437-1618
- 文件大小106.98KB
- 发表时间2016-12
- DOI10.1007/s00481-016-0393-9
- 页码347-351
Partial execution of Mashup Plans during modeling timeHirmer, Pascal; Behringer, Michael; Mitschang, Bernhard · Computer Science - Research and Development · 2017
Towards a Rule-based Manufacturing Integration AssistantWieland, Matthias; Hirmer, Pascal; Steimle, Frank; Gröger, Christoph; Mitschang, Bernhard; Rehder, Eike; Lucke, Dominik; Rahman, Omar Abdul; Bauernhansl, Thomas · Procedia CIRP · 2016
Customization and provisioning of complex event processing using TOSCAFranco da Silva, Ana Cristina; Hirmer, Pascal; Breitenbücher, Uwe; Kopp, Oliver; Mitschang, Bernhard · Computer Science - Research and Development · 2017
Situation model as interface between situation recognition and situation-aware applicationsMormul, Mathias; Hirmer, Pascal; Wieland, Matthias; Mitschang, Bernhard · Computer Science - Research and Development · 2017
Situation recognition and handling based on executing situation templates and situation-aware workflowsHirmer, Pascal; Wieland, Matthias; Schwarz, Holger; Mitschang, Bernhard; Breitenbücher, Uwe; Sáez, Santiago Gómez; Leymann, Frank · Computing · 2017
[IEEE 2019 IEEE International Conference on Smart Computing (SMARTCOMP) - Washington, DC, USA (2019.6.12-2019.6.15)] 2019 IEEE International Conference on Smart Computing (SMARTCOMP) - Model-Based Operator Placement for Data Processing in IoT EnvironmentsFranco da Silva, Ana Cristina; Hirmer, Pascal; Mitschang, Bernhard · 2019
[IEEE 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Athens, Greece (2018.3.19-2018.3.23)] 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - An Approach for CEP Query Shipping to Support Distributed IoT EnvironmentsFranco da Silva, Ana Cristina; Hirmer, Pascal; Peres, Rafael Koch; Mitschang, Bernhard · 2018
Quantitative reactive modeling and verificationHenzinger, Thomas A. · Computer Science - Research and Development · 2013
Rigorous software engineeringGlesner, Sabine · Computer Science - Research and Development · 2013
ERC grantsNagy, Gabor · Computer Science - Research and Development · 2013
Synthesizing realistic test modelsShariat Yazdi, Hamed; Pietsch, Pit; Kehrer, Timo; Kelter, Udo · Computer Science - Research and Development · 2015
Energy informatics for behavioral changeLossin, Felix; Loder, Allister; Staake, Thorsten · Computer Science - Research and Development · 2016
Benchmarking for power consumption monitoringWeiland, Michèle; Johnson, Nick · Computer Science - Research and Development · 2015
Microservices tenetsZimmermann, Olaf · Computer Science - Research and Development · 2017
DrACO: Discovering available cloud offeringsBrogi, Antonio; Cifariello, Paolo; Soldani, Jacopo · Computer Science - Research and Development · 2017