Sciweavers

2422 search results - page 203 / 485
» Composition of Services with Constraints
Sort
View
SEFM
2007
IEEE
14 years 5 months ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
WEBI
2007
Springer
14 years 4 months ago
Building Application Ontologies from Descriptions of Semantic Web Services
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
Xia Wang, Tomas Vitvar, Manfred Hauswirth, Doug Fo...
ICIW
2007
IEEE
14 years 2 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
BIRTHDAY
2006
Springer
14 years 2 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
EUROS
2008
194views Robotics» more  EUROS 2008»
14 years 16 days ago
Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
Sven R. Schmidt-Rohr, Rainer Jäkel, Martin L&...