Sciweavers

3363 search results - page 351 / 673
» A Framework for Knowledge Reuse
Sort
View
EMSOFT
2004
Springer
16 years 25 days ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
ER
2004
Springer
119views Database» more  ER 2004»
16 years 25 days ago
Schema Evolution in Data Warehousing Environments - A Schema Transformation-Based Approach
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
Hao Fan, Alexandra Poulovassilis
MIDDLEWARE
2004
Springer
16 years 24 days ago
On the benefits of decomposing policy engines into components
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
Konstantin Beznosov
SPIN
2004
Springer
16 years 24 days ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
EDOC
2003
IEEE
16 years 22 days ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel