3003 search results - page 318 / 601 » Software Security: Building Security In |
168
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
184
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
158
click to vote
LISA
2003
15 years 7 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
160
click to vote
ESWS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
171
click to vote
CSMR
2006
IEEE
16 years 9 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...