Sciweavers

2521 search results - page 69 / 505
» Semantic Component Composition
Sort
View
118
Voted
ENTCS
2006
133views more  ENTCS 2006»
15 years 17 days ago
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
Ando Saabas, Tarmo Uustalu
111
Voted
ATAL
2007
Springer
15 years 6 months ago
Filters for semantic service composition in service-oriented multiagent systems
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
Alberto Fernández, Sascha Ossowski
SEMWEB
2009
Springer
15 years 5 months ago
Semantic Web Service Composition in Social Environments
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
Ugur Kuter, Jennifer Golbeck
109
Voted
AAAI
2007
15 years 2 months ago
A Planning Approach for Message-Oriented Semantic Web Service Composition
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
Zhen Liu, Anand Ranganathan, Anton Riabov
113
Voted
ASE
2006
114views more  ASE 2006»
15 years 18 days ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz