1412 search results - page 241 / 283 » The Value of Outsourced Software |
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
: Metrics are both fashionable and timely: many regulations that affect cybersecurity rely upon metrics – albeit, of the checklist variety in many cases – to ascertain complian...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the internet. The need for handling complex highly configurable produ...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
IWMM
2009
Springer
14 years 2 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...