1683 search results - page 228 / 337 » Testing system virtual machines |
186
Voted
CL
2002
Springer
15 years 4 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
143
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
This work addresses the problem of diagnosing configuration errors that cause a system to function incorrectly. For example, a change to the local firewall policy could cause a ne...
129
click to vote
SIGMETRICS
2009
ACM
15 years 11 months ago
2009
ACM
We present a system for allocating resources in shared data and compute clusters that improves MapReduce job scheduling in three ways. First, the system uses regulated and user-as...
147
click to vote
IJCAI
2007
15 years 6 months ago
2007
Automating the task of scoring handwritten student essays is a challenging problem of AI. The goal is to assign scores which are comparable to those of human scorers even though b...
153
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...