1302 search results - page 46 / 261 » Focus on Components |
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
DAC
1997
ACM
14 years 2 months ago
1997
ACM
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...
CIT
2007
Springer
14 years 1 months ago
2007
Springer
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
PST
2008
13 years 11 months ago
2008
Mimicry attacks have been the focus of detector research where the objective of the attacker is to generate an attack that evades detection while achieving the attacker's goa...
DBSEC
2001
13 years 11 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...