Sciweavers

18769 search results - page 4 / 3754
» Requirements Models in Context
Sort
View
COOPIS
1995
IEEE
14 years 29 days ago
From Organization Models to System Requirements: A 'Cooperating Agents' Approach
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John...
CHI
2003
ACM
14 years 9 months ago
An hour in the life: towards requirements for modelling multiple task work
It is accepted that changes in technology, work practices and the general socio-economic environment affect the way we plan and perform tasks. Support, opportunity and pressure fo...
Peter J. Wild, Peter Johnson, Hilary Johnson
ACSAC
2003
IEEE
14 years 2 months ago
Modelling Contexts in the Or-BAC Model
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...
Frédéric Cuppens, Alexandre Mi&egrav...
WER
2007
Springer
14 years 3 months ago
Role-Based Access Control Requirements Model with Purpose Extension
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
Faranak Farzad, Eric Yu, Patrick C. K. Hung
FM
2009
Springer
146views Formal Methods» more  FM 2009»
13 years 7 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...