2261 search results - page 201 / 453 » Modeling the Experimental Software Engineering Process |
167
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
125
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
142
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Although optimizations have been applied for a number of years to improve the performance of software, problems that have been long-standing remain, which include knowing what opt...
133
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
147
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...