1669 search results - page 78 / 334 » Modeling ODP Computational Specifications Using UML |
163
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The SH3 domain family is one of the most representative and widely studied cases of so-called Peptide Recognition Modules (PRM). The polyproline II motif PxxP that gen...
171
Voted
TISSEC
2010
15 years 26 days ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
145
click to vote
SOFTWARE
2002
15 years 5 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
122
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
164
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...