Sciweavers

3363 search results - page 351 / 673
» A Framework for Knowledge Reuse
Sort
View
EMSOFT
2004
Springer
16 years 5 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 5 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 4 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 4 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 2 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