4418 search results - page 62 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
157
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
150
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
138
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
127
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
140
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...