4211 search results - page 379 / 843 » A formal approach to MASQ |
154
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
200
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
184
click to vote
REFSQ
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
175
click to vote
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...
204
click to vote
DEXAW
2006
IEEE
16 years 28 days ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...