Sciweavers

2521 search results - page 41 / 505
» Semantic Component Composition
Sort
View
EUROMICRO
2005
IEEE
14 years 2 months ago
Composition Assessment Metrics for CBSE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
Miguel Goulão, Fernando Brito e Abreu
POPL
2000
ACM
14 years 16 days ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
EUROMICRO
2004
IEEE
14 years 21 days ago
Model-Driven Development of Recursive CORBA Component Assemblies
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...
VLDB
2003
ACM
160views Database» more  VLDB 2003»
14 years 9 months ago
Composing Web services on the Semantic Web
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...
Brahim Medjahed, Athman Bouguettaya, Ahmed K. Elma...
VLDB
1994
ACM
133views Database» more  VLDB 1994»
14 years 1 months ago
Composite Events for Active Databases: Semantics, Contexts and Detection
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar,...