Sciweavers

647 search results - page 42 / 130
» An Approach to Relate Viewpoints and Modeling Languages
Sort
View
LPNMR
1999
Springer
15 years 8 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
AIMSA
2008
Springer
15 years 10 months ago
A Logical Approach to Dynamic Role-Based Access Control
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
Philippe Balbiani, Yannick Chevalier, Marwa El Hou...
APLAS
2004
ACM
15 years 9 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
ECMDAFA
2009
Springer
98views Hardware» more  ECMDAFA 2009»
15 years 10 months ago
A Language-Theoretic View on Guidelines and Consistency Rules of UML
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
Zhe Chen, Gilles Motet
COLING
2010
14 years 11 months ago
Multilingual Subjectivity: Are More Languages Better?
While subjectivity related research in other languages has increased, most of the work focuses on single languages. This paper explores the integration of features originating fro...
Carmen Banea, Rada Mihalcea, Janyce Wiebe