10182 search results - page 25 / 2037 » Case Studies |
SASO
2007
IEEE
14 years 4 months ago
2007
IEEE
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...
CRIWG
2008
13 years 11 months ago
2008
This paper describes a case study addressing risk assessment in a hospital unit. The objective was to analyse the impact on collaborative work after the unit changed their installa...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
WCRE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Bug fixing accounts for a large amount of the software maintenance resources. Generally, bugs are reported, fixed, verified and closed. However, in some cases bugs have to be...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...