1683 search results - page 281 / 337 » Testing system virtual machines |
144
Voted
JCP
2007
15 years 3 months ago
2007
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
125
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
144
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
125
click to vote
EUROSYS
2006
ACM
16 years 27 days ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
119
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Large-scale web and text retrieval systems deal with amounts of data that greatly exceed the capacity of any single machine. To handle the necessary data volumes and query through...