Sciweavers

5457 search results - page 801 / 1092
» Software Component Independence
Sort
View
EMSOFT
2005
Springer
16 years 9 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
GCC
2005
Springer
16 years 9 days ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
ECLIPSE
2004
ACM
16 years 6 days ago
Advanced widgets for Eclipse
Information Visualization Toolkits are often in the form of applications or complex frameworks and do not integrate into existing applications very easily. In this paper we introd...
R. Ian Bull, Casey Best, Margaret-Anne D. Storey
BIRTHDAY
2004
Springer
16 years 5 days ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
EUSAI
2004
Springer
16 years 4 days ago
The PLANTS System: Enabling Mixed Societies of Communicating Plants and Artefacts
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
Christos Goumopoulos, Eleni Christopoulou, Nikos D...