249 search results - page 24 / 50 » Analyzing software process models with AVISPA |
TCOM
2010
13 years 2 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
WCE
2007
13 years 8 months ago
2007
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...
JUCS
2008
13 years 7 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
ESEM
2010
ACM
13 years 6 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...