872 search results - page 30 / 175 » Using Plans to Automate Software Applications |
PDP
2007
IEEE
14 years 1 months ago
2007
IEEE
Heterogeneous distributed computing platforms continue to require substantial effort in terms of software installation and management for efficient use, often necessitating manua...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
ISSRE
2005
IEEE
14 years 1 months ago
2005
IEEE
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...