机译:非单调软并行约束语言,用于协商过程建模
Dipartimento di Matematica e Informatica, Universita di Perugia, Via Vanvitelli 1, Perugia, Italy and Instituto di Informatica e Telematica (CNR), Via Moruzzi 1, Pisa, Italy;
rnDipartimento di Matematica e Informatica, Universita di Perugia, Via Vanvitelli 1, Perugia, Italy;
soft constraint concurrent programming; nonmonotonicity; belief revision; quality of service; negotiation;
机译:关于并发控制过程的一些方面,利用新一代工程软件的Lad图语言建模与实现
机译:安全的非单调软并发约束语言
机译:表征和评估软件过程建模语言的质量:十种基于模型的代表性语言的比较
机译:基于模糊约束处理的代理协商建模
机译:统计自然语言处理模型上的细粒度语言软约束。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:SLA协商的非单调软并发约束语言
机译:统计自然语言处理模型的细粒度语言软约束