273 search results - page 9 / 55 » Towards safer composition |
GCC
2003
Springer
14 years 23 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web services are becoming important in applications from electronic commerce to application interoperation. While numerous efforts have focused on service composition, service sel...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ER
2008
Springer
13 years 9 months ago
2008
Springer
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...