23.CS&P 2014:德国开姆尼茨
Louchka Popova-Zeugmann先生 :
2014年9月29日至10月1日,第23届并行、规范和编程国际研讨会论文集,德国Chemnitz。 CEUR研讨会记录 1269, CEUR-WS.org公司 2014 Krzysztof Balicki公司 :
XCCS图到CCS脚本转换算法。 1-12 扬·G·巴赞 , 斯坦尼斯拉瓦·巴赞·索查 , 西尔维亚·布雷格瓦·祖马 , 卢卡斯·迪多 , 沃伊切赫·扎萨(Wojciech Rzasa) , 安杰伊·斯科沃隆 :
基于决策树的分类器,具有验证切割。 13-21 扬·G·巴赞 , 马金·斯皮尔卡 , 亚当·斯祖尔 , 卢卡斯·迪多 , 休伯特·沃伊托维茨 :
基于海量时间数据的行为模式识别分类器。 22-33 马可·贝利亚 , 尤金妮娅·奥奇乌托(M.Eugenia Occhiuto) :
DNA块的自我组装编程。 34-45 瓦伦蒂娜·卡斯蒂格利奥尼 , 拉格罗·拉诺特 , 西蒙·蒂尼 :
一种检验算术逻辑可满足性的函数消去方法。 46-57 Michal Chromiak公司 , 彼得罗·维斯涅夫斯基 , 克日什托夫·斯坦塞尔 :
利用主键上的顺序依赖进行优化。 58-68 娜塔莉亚·奥列戈夫娜·加拉尼娜 , 叶夫根尼·V·博丁 :
计数代理的分布式终止检测。 69-79 达马斯·普·格鲁斯卡 :
差异隐私和安全。 80-91 马格达莱娜·卡普扎克 , 安娜·萨维卡 , Katarzyna Budzynska公司 , 马金·久宾斯基 :
对话游戏中的验证策略。 92-100 迈克尔·科勒-布ß迈耶 , 弗兰克·海特曼 :
安全初级黄蜂可达性问题的上限。 101-112 彼得·拉塞克 :
C-NBC:基于邻域的约束聚类。 113-120 彼得·拉塞克 , 克日什托夫·拉塞克 :
相对约束作为特征。 121-125 伊琳娜·洛马佐娃 , 卢奇卡·波波娃·泽格曼 :
使用转换优先级控制Petri网行为。 126-137 伯恩特·米勒 , 杰克贝慈 :
将BDI-Agent概念合并到面向对象编程中。 138-149 林安阮 :
模态和描述逻辑中结合CPDL和正则语法逻辑的可追踪规则语言。 150-163 阿格涅斯卡·诺瓦克·布热津斯卡 , 罗曼·西明斯基 :
基于规则划分的新推理算法。 164-175 Krzysztof Pancerz公司 , 奥尔加·米奇 :
基于本体图决策系统的实态列表挖掘。 176-179 Krzysztof Pancerz公司 , 安德鲁·舒曼 :
Physarum机器编程的定时过渡系统模型。 180-183 米库拉斯·帕塔基 , 达马斯·普·格鲁斯卡 :
多代理异构入侵检测系统。 184-195 斯坦尼斯拉夫·普拉切克 , 比贾亚·阿迪卡里 :
人工神经网络学习过程层次结构中的协调算法。 196-207 马尔戈扎塔·普日比拉·卡斯佩雷克 , Alicja Wakulicz-Deja公司 :
谈判阶段分散决策支持系统中联盟强度的计算方法——医学数据研究。 208-219 阿图尔·拉塔吉 :
概率密度数据的分数遗传规划。 220-231 罗曼·雷齐约夫斯基 :
PEG中的切割点。 232-236 兹比格尼乌·苏拉吉 , 阿格涅斯卡·拉塞克 , 彼得·拉塞克 :
近似推理中的倒置模糊蕴涵。 237-244 马金·斯皮尔卡 , 阿格涅斯卡·比尔纳卡 , 杰兹·比尔纳基 :
Petri网到NuSMV语言的翻译方法。 245-256 德米特里·布申 , 伊琳娜B.维氏夕卡岩 :
时间Petri网的时间过程等价性。 257-268 彼得罗·瓦西列夫斯基 , 帕维尔·戈拉 :
通过与专家互动获得的与交通有关的知识。 269-280 博泽娜·沃兹纳·斯泽斯尼亚克(Bozena Wozna-Szczesniak) :
加权道义解释系统的基于SAT的有界模型检验(扩展抽象)。 281-292 阿格涅斯卡·兹布热兹尼 , 安德烈·兹布热兹尼 :
基于SAT和基于SMT的ECTL有界模型检查方法的比较。 293-300 阿格涅斯卡·兹布热兹尼 , 安德烈·兹布热兹尼 :
使用扩展消息序列图(扩展摘要)进行系统监控。 301-307 Wojciech Swieboda公司 , Van Mai Nguyen Thi先生 , 洪松阮(Hung Son Nguyen) :
疏散建模的详细平面布置图表示。 308-310 路德维克·查亚 :
分布式系统的两个问题:数据访问控制和内存剪切。 311-319