1888 search results - page 297 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
190
click to vote
ICWS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
215
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Process?aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of ...
164
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
149
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
142
click to vote
TCIAIG
2010
14 years 11 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...