Department of Maths Computing, University of Southern Queensland Toowoomba QLD 4350 Australia;
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:基于隐私保留矩阵的静态互斥角色约束违规角色基于访问控制中的违规检测
机译:使用对象约束语言指定基于角色的访问约束
机译:RCL 2000语言,用于指定基于角色的授权约束。
机译:儿童处理宾语从句时的语篇可及性限制
机译:使用对象约束语言指定基于角色的访问约束
机译:约束网络:通过约束建模和推断对象位置。