273 search results - page 9 / 55 » Towards safer composition |
126
Voted
GCC
2003
Springer
15 years 9 months 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...
112
click to vote
ICWS
2004
IEEE
15 years 5 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...
161
click to vote
SIGSOFT
2003
ACM
16 years 4 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...
147
Voted
ER
2008
Springer
15 years 5 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...
143
Voted
ESWS
2007
Springer
15 years 10 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...