1894 search results - page 251 / 379 » Towards Mobile Reasoning |
124
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
159
click to vote
ESWS
2007
Springer
15 years 10 months 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 ...
137
click to vote
RR
2007
Springer
15 years 10 months 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 ...
121
click to vote
TPHOL
2005
IEEE
15 years 9 months 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...
128
click to vote
ECOOP
2005
Springer
15 years 9 months 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...