Sciweavers

277 search results - page 16 / 56
» Describing Role Models in Terms of Formal Concept Analysis
Sort
View
JSS
2000
86views more  JSS 2000»
15 years 5 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
CCS
2006
ACM
15 years 9 months ago
On the modeling and analysis of obligations
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Keith Irwin, Ting Yu, William H. Winsborough
AO
2006
97views more  AO 2006»
15 years 6 months ago
An ontological model of device function: industrial deployment and lessons learned
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...
Yoshinobu Kitamura, Yusuke Koji, Riichiro Mizoguch...
FUIN
2006
128views more  FUIN 2006»
15 years 6 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko
WWW
2007
ACM
16 years 6 months ago
Towards the theoretical foundation of choreography
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang