Sciweavers

7776 search results - page 300 / 1556
» Maintaining Maintainability
Sort
View
ICCS
2009
Springer
16 years 1 months ago
Hierarchical Modelling and Model Adaptivity for Gas Flow on Networks
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...
Pia Bales, Oliver Kolb, Jens Lang
ICCS
2009
Springer
16 years 1 months ago
A Second Order Adjoint Method to Targeted Observations
The role of the second order adjoint in targeting strategies is studied and analyzed. Most targeting strategies use the first order adjoint to identify regions where additional in...
Humberto C. Godinez, Dacian N. Daescu
ICWE
2009
Springer
16 years 1 months ago
Patterns for the Model-Based Development of RIAs
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
Nora Koch, Matthias Pigerl, Gefei Zhang, Tatiana M...
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
16 years 1 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
ISMIS
2009
Springer
16 years 1 months ago
Novelty Detection from Evolving Complex Data Streams with Time Windows
Abstract. Novelty detection in data stream mining denotes the identification of new or unknown situations in a stream of data elements flowing continuously in at rapid rate. This...
Michelangelo Ceci, Annalisa Appice, Corrado Loglis...