Sciweavers

3809 search results - page 460 / 762
» Associative language descriptions
Sort
View
EWSA
2005
Springer
16 years 29 days ago
Managing Dynamic Reconfiguration in Component-Based Systems
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
Thaís Vasconcelos Batista, Ackbar Joolia, G...
ICESS
2005
Springer
16 years 29 days ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
IFIP
2004
Springer
16 years 24 days ago
The MOMIS methodology for integrating heterogeneous data sources
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
Domenico Beneventano, Sonia Bergamaschi
SEMWEB
2004
Springer
16 years 24 days ago
Trust Negotiation for Semantic Web Services
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
Daniel Olmedilla, Rubén Lara, Axel Polleres...
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
16 years 24 days ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic