Sciweavers

2521 search results - page 46 / 505
» Semantic Component Composition
Sort
View
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 3 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
14 years 26 days 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...
FMSD
2006
183views more  FMSD 2006»
13 years 9 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
CBSE
2007
Springer
14 years 3 months ago
Towards Composing Software Components in Both Design and Deployment Phases
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
14 years 2 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka