Sciweavers

535 search results - page 28 / 107
» Formalization of Legislative Documents Based on a Functional...
Sort
View
WSC
2008
13 years 10 months ago
Definition and analysis of composition structures for discrete-event models
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
Mathias Röhl, Adelinde M. Uhrmacher
ICMT
2010
Springer
13 years 12 months ago
From State- to Delta-Based Bidirectional Model Transformations
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
ER
2004
Springer
103views Database» more  ER 2004»
14 years 1 months ago
Querying Heterogeneous Spatial Databases: Combining an Ontology with Similarity Functions
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
Mariella Gutiérrez, M. Andrea Rodríg...
CSDA
2007
108views more  CSDA 2007»
13 years 8 months ago
Diagnostics for functional regression via residual processes
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
Jeng-Min Chiou, Hans-Georg Müller
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 29 days ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...