Sciweavers

866 search results - page 11 / 174
» A compositional semantics for CHR
Sort
View
COORDINATION
2009
Springer
14 years 8 months ago
Mobility Models and Behavioural Equivalence for Wireless Networks
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
Jens Chr. Godskesen, Sebastian Nanz
WECWIS
2008
IEEE
121views ECommerce» more  WECWIS 2008»
14 years 2 months ago
Semantic Web Service Composition for Service-Oriented Architectures
Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
Thomas Weise, Steffen Bleul, Marc Kirchhoff, Kurt ...
SOCO
2007
Springer
14 years 1 months ago
Composite Connectors for Composing Software Components
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Vel...
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 1 months ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...
ESWS
2007
Springer
13 years 11 months ago
A BPMO Based Semantic Business Process Modelling Environment
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
Marin Dimitrov, Alex Simov, Sebastian Stein, Mihai...