Sciweavers

2877 search results - page 257 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ADBIS
2006
Springer
104views Database» more  ADBIS 2006»
16 years 17 days ago
Multi-source Materialized Views Maintenance: Multi-level Views
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
Josep Silva, Jorge Belenguer, Matilde Celma
DFG
2007
Springer
16 years 22 days ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel
ECMDAFA
2009
Springer
115views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
Managing Flexibility: Modeling Binding-Times in Simulink
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
Danilo Beuche, Jens Weiland
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 11 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
ERCIMDL
2009
Springer
198views Education» more  ERCIMDL 2009»
16 years 1 months ago
Adding Quality-Awareness to Evaluate Migration Web-Services and Remote Emulation for Digital Preservation
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
Christoph Becker, Hannes Kulovits, Michael Kraxner...