Sciweavers

2055 search results - page 104 / 411
» Generic Model Refactorings
Sort
View
VLDB
2007
ACM
130views Database» more  VLDB 2007»
16 years 2 months ago
Model Management and Schema Mappings: Theory and Practice
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
Philip A. Bernstein, Howard Ho
91
Voted
ICFEM
2007
Springer
15 years 8 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
SIGMETRICS
2005
ACM
104views Hardware» more  SIGMETRICS 2005»
15 years 7 months ago
Message delay in MANET
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
Robin Groenevelt, Philippe Nain, Ger Koole
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
15 years 3 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
98
Voted
WSC
2000
15 years 3 months ago
Distributed supply chain simulation in GRIDS
Amongst the majority of work done in Supply Chain Simulation, papers have emerged that examine the area of model distribution. The executions of simulations on distributed hosts a...
Rajeev Sudra, Simon J. E. Taylor, Tharumasegaram J...