Sciweavers

5009 search results - page 41 / 1002
» Value chain modelling using system dynamics
Sort
View
CORR
2011
Springer
160views Education» more  CORR 2011»
13 years 1 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
13 years 12 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
FDL
2003
IEEE
14 years 3 months ago
Analog Circuit Modeling in SystemC
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
Massimo Conti, Marco Caldari, Simone Orcioni, Gior...
ATAL
2007
Springer
14 years 4 months ago
Meta-level coordination for solving negotiation chains in semi-cooperative multi-agent systems
A negotiation chain is formed when multiple related negotiations are spread over multiple agents. In order to appropriately order and structure the negotiations occurring in the c...
Xiaoqin Zhang, Victor R. Lesser
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 11 months ago
MMS: Using Queries As Data Values for Metadata Management
We demonstrate MMS, a system for storing and managing a variety of metadata in a simple, elegant and uniform way. The system is based on two observations. First, that the relation...
Divesh Srivastava, Yannis Velegrakis