438 search results - page 76 / 88 » Automated Service Level Reporting: Experience of Implementat... |
SOSP
2003
ACM
14 years 6 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
ECMDAFA
2007
Springer
14 years 3 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
JPDC
2006
13 years 9 months ago
2006
This paper presents a new spectral template-matching approach to countering shrew distributed denial-of-service (DDoS) attacks. These attacks are stealthy, periodic, pulsing, and ...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...