Sciweavers

1906 search results - page 145 / 382
» Controls in Flexible Software Development
Sort
View
141
Voted
PDSE
2000
116views more  PDSE 2000»
15 years 5 months ago
A CORBA-Based Architecture for Adding Dependability to Legacy Servers
This work presents a flexible, CORBA compliant Middle-Tier Server architecture which is capable of adding dependability (namely, reliability, availability, and performability) to ...
Domenico Cotroneo, Luigi Romano, Stefano Russo, Ni...
121
Voted
DEXAW
2009
IEEE
129views Database» more  DEXAW 2009»
15 years 10 months ago
Pattern-Based Approach for Logical Traffic Isolation Forensic Modelling
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
Innocentia Dlamini, Martin Olivier, Sihle Sibiya
140
Voted
ETRICS
2006
15 years 7 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
120
Voted
HICSS
2010
IEEE
173views Biometrics» more  HICSS 2010»
15 years 10 months ago
Analysis of Stakeholder/Value Dependency Patterns and Process Implications: A Controlled Experiment
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
Di Wu, Qi Li, Mei He, Barry W. Boehm, Ye Yang, Sup...
137
Voted
FASE
2004
Springer
15 years 9 months ago
Modeling Role-Based Access Control Using Parameterized UML Models
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...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...