Sciweavers

273 search results - page 27 / 55
» Towards safer composition
Sort
View
BPM
2006
Springer
139views Business» more  BPM 2006»
13 years 11 months ago
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
Stephen Gorton, Stephan Reiff-Marganiec
FOCS
2004
IEEE
13 years 11 months ago
Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
Irit Dinur, Omer Reingold
ACAL
2009
Springer
13 years 10 months ago
Towards Tailored Communication Networks in Assemblies of Artificial Cells
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
Maik Hadorn, Bo Burla, Peter Eggenberger Hotz
LREC
2008
125views Education» more  LREC 2008»
13 years 9 months ago
Towards Formal Interpretation of Semantic Annotation
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
Harry Bunt, Chwhynny Overbeeke
BIS
2009
118views Business» more  BIS 2009»
13 years 8 months ago
Towards an Implementation of the EU Services Directive with Semantic Web Services
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
Ingo Weber, York Sure