Sciweavers

2042 search results - page 126 / 409
» The Design and Implementation of a Semantic Service Mediatio...
Sort
View
COMCOM
1998
83views more  COMCOM 1998»
15 years 6 months ago
The design of the TAO real-time object request broker
Many real-time application domains can benefit from flexible and open distributed architectures, such as those defined by the CORBA specification. CORBA is an architecture for...
Douglas C. Schmidt, David L. Levine, Sumedh Mungee
JUCS
2008
162views more  JUCS 2008»
15 years 6 months ago
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
Javier Cámara, Gwen Salaün, Carlos Can...
FOSSACS
2005
Springer
15 years 12 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
INTERACT
2007
15 years 7 months ago
Daily Activities Diarist: Supporting Aging in Place with Semantically Enriched Narratives
The Daily Activities Diarist is an awareness system that supports social connectedness between seniors living alone and their social intimates. The Daily Activities Diarist extract...
Georgios Metaxas, Barbaros Metin, Jutta Schneider,...