4418 search results - page 62 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
141
Voted
SACMAT
2009
ACM
15 years 8 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...
134
Voted
TLDI
2009
ACM
16 years 25 days 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...
125
Voted
ICEIS
2005
IEEE
15 years 9 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...
110
Voted
MODELS
2007
Springer
15 years 10 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...
121
click to vote
DSVIS
2005
Springer
15 years 9 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...