Sciweavers

3268 search results - page 285 / 654
» Structured Service Composition
Sort
View
MKWI
2008
113views Business» more  MKWI 2008»
15 years 8 months ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov
SEMWEB
2010
Springer
15 years 4 months ago
Using Semantics for Automating the Authentication of Web APIs
Recent technology developments in the area of services on the Web are marked by the proliferation of Web applications and APIs. The implementation and evolution of applications bas...
Maria Maleshkova, Carlos Pedrinaci, John Domingue,...
ICTAC
2009
Springer
15 years 4 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
159
Voted
SAMT
2007
Springer
123views Multimedia» more  SAMT 2007»
16 years 23 days ago
Region-based Annotation Tool using Partition Trees
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
Xavier Giro, Neus Camps, Ferran Marqués
ENTCS
2006
119views more  ENTCS 2006»
15 years 6 months ago
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
Eric Vecchié, Robert de Simone