2419 search results - page 347 / 484 » A Formal Approach to Software Testing |
ISSE
2010
13 years 6 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
RV
2010
Springer
13 years 6 months ago
2010
Springer
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
BEHAVIOURIT
2010
13 years 5 months ago
2010
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...
AOSD
2007
ACM
14 years 10 days ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...