Sciweavers

2834 search results - page 286 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
KBSE
2006
IEEE
16 years 20 days ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer
PPSN
2004
Springer
15 years 12 months ago
A Primer on the Evolution of Equivalence Classes of Bayesian-Network Structures
Bayesian networks (BN) constitute a useful tool to model the joint distribution of a set of random variables of interest. To deal with the problem of learning sensible BN models fr...
Jorge Muruzábal, Carlos Cotta
ESANN
2007
15 years 8 months ago
Adaptive Global Metamodeling with Neural Networks
Due to the scale and computational complexity of current simulation codes, metamodels (or surrogate models) have become indispensable tools for exploring and understanding the desi...
Dirk Gorissen, Wouter Hendrickx, Tom Dhaene
WSC
2004
15 years 8 months ago
Simulating the Panama Canal: Present and Future
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...
Luiz Augusto Gago Franzese, Luiz Otávio Abd...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
16 years 1 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...