4573 search results - page 869 / 915 » Automated Reasoning |
111
Voted
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
136
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
106
Voted
PATAT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
147
Voted
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
The availability of digital imagers inside hospitals and their ever growing inspection capabilities have established digital medical images as a key component of many pathologies ...
142
Voted
EH
1999
IEEE
15 years 6 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...