895 search results - page 46 / 179 » A Spectrum of Applications of Automated Reasoning |
129
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
139
click to vote
GIS
2010
ACM
14 years 11 months ago
2010
ACM
One cannot deny that space and time are important to us. We perceive our world with respect to where and when we do things. We advocate geoblogging as a tool to capture such exper...
120
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...
144
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...
159
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...