223 search results - page 6 / 45 » Automated Implicit Computational Complexity Analysis (System... |
ICLP
2003
Springer
14 years 4 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
ESORICS
2011
Springer
12 years 11 months ago
2011
Springer
The use of server virtualization has been growing steadily, but many enterprises still are reluctant to migrate critical workloads to such infrastructures. One key inhibitor is the...
EDOC
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
COSIT
2003
Springer
14 years 4 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
FMICS
2006
Springer
14 years 2 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...