10263 search results - page 217 / 2053 » From Use Cases to System Operation Specifications |
213
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
236
click to vote
COMPSAC
2005
IEEE
16 years 24 days ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
194
click to vote
SACMAT
2003
ACM
16 years 13 days ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
201
click to vote
WMCSA
2002
IEEE
16 years 3 days ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
240
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...