1151 search results - page 102 / 231 » Collaborative Programming: Applications of Logic and Automat... |
120
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
121
Voted
ICWS
2003
IEEE
15 years 5 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 ...
110
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
122
Voted
DLOG
2008
15 years 6 months ago
2008
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
129
Voted
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...