9018 search results - page 321 / 1804 » 3D-Brain Model Software |
152
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
205
click to vote
ISSE
2010
15 years 3 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
159
click to vote
WCRE
1996
IEEE
15 years 9 months ago
1996
IEEE
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
145
Voted
SNPD
2008
15 years 6 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
135
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...