891 search results - page 115 / 179 » Towards Reasoning Pragmatics |
216
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
184
click to vote
RR
2007
Springer
16 years 28 days ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
160
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
165
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
166
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...