达格斯图尔报告，第4卷，第6期
-
部分： 音量： 达格斯图尔报告，第4卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2015-03-05 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 4
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
Dagstuhl Reports，第4卷，第6期，2014年6月，完整版
摘要
引用为
@第{DagRep.4.6条， title={{Dagstuhl Reports，第4卷，第6期，2014年6月，完整版}}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={4}， 数字={6}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6 }, URN={URN:nbn:de:0030-drops-49651}， doi={10.4230/DagRep.4.6}， annote={关键词：达格斯图尔报告，第4卷，第6期，2014年6月，完整版} }
达格斯图尔报告，目录，第4卷，第6期，2014年
摘要
引用为
@第{DagRep.4.6.i条， title={{Dagstuhl Reports，目录，第4卷，第6期，2014年}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={4}， 数字={6}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.4.6.i }, URN={URN:nbn:de:0030-drops-49645}， doi={10.4230/DagRep.4.6.i}， annote={关键词：达格斯图尔报告，目录，第4卷，第6期，2014年} }
科学可视化（14231年达格斯图尔研讨会）
摘要
引用为
@第{chen_et_al:DagRep.4.6.1条， author={Chen，Min和Hansen，Charles D.和Rheingans，Penny和Scheuermann，Gerik}， title={{科学可视化（达格斯图尔研讨会14231）}}， 页数={1--28}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2014}， 体积={4}， 数字={6}， editor={陈、敏和汉森、查尔斯·D·莱茵、佩妮和谢尔曼、杰瑞克}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.4.6.1 }, URN={URN:nbn:de:0030-drops-46821}， doi={10.4230/DagRep.4.6.1}， annote={关键词：数据可视化，多领域，不确定性，环境可视化} }
组件设计与合成（达格斯图尔研讨会14232）
摘要
引用为
@第{条rehof_et_al:DagRep.4.6.29， 作者={Rehof，Jakob and Vardi，Moshe Y.}， title={{组件设计与合成（达格斯图尔研讨会14232）}}， 页数={29--47}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2014}， 体积={4}， 数字={6}， editor={Rehof，Jakob and Vardi，Moshe Y.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.29 }, URN={URN:nbn:de:0030-drops-46839}， doi={10.4230/DagRep.4.6.29}， annote={关键词：组件设计，基于组件的合成} }
分析可执行文件的挑战：可伸缩性、自我修改代码和协同（Dagstuhl研讨会14241）
摘要
引用为
@文章{giacobazzi_et_al:DagRep.4.6.48， author={Giacobazzi、Roberto和Simon、Axel和Zennou、Sarah}， title={{分析可执行文件的挑战：可伸缩性、自我修改代码和协同作用（Dagstuhl研讨会14241）}}， 页数={48--63}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2014}， 体积={4}， 数字={6}， editor={Giacobazzi、Roberto和Simon、Axel和Zennou、Sarah}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.48 }, URN={URN:nbn:de:0030-drops-47627}， doi={10.4230/DagRep.4.6.48}， annote={关键词：可执行分析、逆向工程、恶意软件检测、控制流重建、模拟器、二进制检测} }
软件开发分析（14261年达格斯图尔研讨会）
摘要
引用为
@第{gall_et_al:DagRep.4.6.64条， author={加尔、哈拉尔德和孟席斯、蒂姆和威廉姆斯、劳里和齐默尔曼、托马斯}， title={{软件开发分析（Dagstuhl研讨会14261）}}， 页数={64--83}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2014}， 体积={4}， 数字={6}， 编辑＝{加尔、哈拉尔和孟席斯、蒂姆和威廉姆斯、劳里和齐默尔曼、托马斯}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.64 }, URN={URN:nbn:de:0030-drops-47638}， doi={10.4230/DagRep.4.6.64}， annote={关键词：软件开发、数据驱动决策、分析、经验软件工程、挖掘软件存储库、商业智能、pre} }
脚本语言和框架：分析和验证（Dagstuhl研讨会14271）
摘要
引用为
@第{henglein_et_al:DagRep.4.6.84条， 作者={Henglein，Fritz and Jhala，Ranjit and Krishnamurthi，Shriram and Thiemann，Peter}， title={{脚本语言和框架：分析和验证（达格斯图尔研讨会14271）}}， 页数={84--107}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2014}， 体积={4}， 数字={6}， editor={亨利恩、弗里茨和贾拉、兰吉特和克里希纳穆西、施里拉姆和提曼、彼得}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.84 }, URN={URN:nbn:de:0030-drops-47816}， doi＝{10.4230/DagRep.4.684}， annote={关键词：脚本语言、框架、契约、类型、分析、语义} }
探索ICT设计中的跨学科重大挑战，以支持积极健康和福祉（达格斯图尔观点研讨会14272）
摘要
引用为
@第{schraefel_et_al:DagRep.4.6.108条， 作者={schraefel，m.c.和Churchill，Elizabeth F.}， title={{探索ICT设计中的跨学科重大挑战以支持积极健康和福祉（达格斯图尔观点研讨会14272）}}， 页数={108--123}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={4}， 数字={6}， editor={schraefel，m.c.和Churchill，Elizabeth F.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.108 }, URN={URN:nbn:de:0030-drops-48877}， doi={10.4230/DagRep.4.6108}， annote={关键词：主动健康、主动幸福、幸福、创造幸福、生活质量、方法论、互动设计、健康、幸福、计算机科学} }