14331 search results - page 123 / 2867 » On the modeling and analysis of obligations |
187
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
171
click to vote
ICECCS
2005
IEEE
15 years 12 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
159
click to vote
ICEIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
197
click to vote
AICS
2009
15 years 4 months ago
2009
Collaborative filtering (CF) recommender systems are very popular and successful in commercial application fields. However, robustness analysis research has shown that conventional...
165
click to vote
FCS
2009
15 years 4 months ago
2009
Circuits and loops in graph systems can be used to model the attractors in gene-regulatory networks. The number of such attractors grows very rapidly with network size and even fo...