8 search results - page 2 / 2 » Finding the Evidence in Tamper-Evident Logs |
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
MHCI
2007
Springer
14 years 1 months ago
2007
Springer
Mobile phone users have to deal with limited battery lifetime through a reciprocal process we call human-battery interaction (HBI). We conducted three user studies in order to und...
CCR
2010
13 years 7 months ago
2010
As data centers become more and more central in Internet communications, both research and operations communities have begun to explore how to better design and manage them. In th...