宝塔

软约束的重写逻辑框架软约束扩展经典约束来处理非功能需求、过度约束问题和偏好。Bistarelli、蒙塔纳里和罗西已经开发了一种非常优雅抽象的半环理论的软约束,其中许多不同类型的软约束可以以统一的方式表示和组合在所谓的约束半环上。在本文中,我们提出了一个框架的软约束的原型La BistaRiLi,蒙塔纳里和罗西重写逻辑。作为一个案例研究,我们提出了一个软约束的应用软件定义的无线网络的新领域。我们将软件定义无线电中的“最优”参数分配问题作为软约束求解问题进行建模,证明了约束求解算法的正确性,在软约束的原型重写逻辑框架中实现了解决方案,并将软约束求解器嵌入到SRI的策略感知中,用于无线网络建模的面向目标的分布式体系结构(PARODA)。


ZBMaX中的参考文献(14篇)1标准条款

显示结果1至14的14。
按年份排序(引文

  1. 布吕尼,罗伯托;科拉迪尼,安德列;伽达契,法比奥;Lluch Lafuente,阿尔伯托;范丁,Poin:行为适应的白盒透视(2015)
  2. De Nicola、罗科、Hennicker、罗尔夫:对Martin Wirsing的敬意(2015)
  3. Fiadeiro,JoeEuLuz;Orejas,费尔南多:抽象约束数据类型(2015)
  4. 纽伯特,斯蒂芬妮;Belzner,楞次;Wirsing,马丁:代数强化学习。使用术语泛化的关系强化学习的假设归纳。(2015)
  5. TalCOTT,卡洛琳;ARBAB,Farhad;Yadav,MaeSiS:软代理:探索软约束模型的鲁棒自适应分布式物理物理代理系统(2015)
  6. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  7. 哈科波尔,Nanges;贾利利,赛义德;塔尔科特,卡洛琳;Sirjani,Marjan;穆萨维,Posi:演化自适应系统的形式化建模(2012)
  8. 梅塞格,乔斯:重写逻辑的二十年(2012)
  9. 普格利泽,Rosario;TIEZI,弗朗西斯科:Web服务编排的微积分(2012)伊波尔特
  10. 塔尔科特,卡洛琳;Sirjani,Marjan;任,上平:比较三种协调模式:Reo、ARC和PBRD(2011)
  11. 马蒂亚斯,迈耶,马克斯;Wirsing,马丁:你喜欢哪些软约束?(2009)
  12. TalCOTT,Carolyn L.:交互式代理的正式框架(2008)
  13. 塔尔科特,卡洛琳;Sirjani,Marjan;任,上平:三种协调模式:Reo、ARC和RRD(2008)比较
  14. Wrrn,马丁;登克尔,GrIT;塔尔科特,卡洛琳;Pojo,安迪;BristeMeistor,琳达:一个软约束的重写逻辑框架(2007)