Sciweavers

5009 search results - page 61 / 1002
» Value chain modelling using system dynamics
Sort
View
UAI
2004
14 years 13 days ago
Dynamical Systems Trees
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...
Andrew Howard, Tony Jebara
FMCAD
2004
Springer
14 years 2 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
ICC
2007
IEEE
14 years 5 months ago
Link Error Prediction in Wireless Communication Systems with Quality Based Power Control
— The quality of end-to-end services over wireless communication networks highly depends on the error characteristics of the wireless links. By utilizing the link error character...
Wolfgang Karner, Olivia Nemethova, Markus Rupp
ISPW
2005
IEEE
14 years 4 months ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
WCE
2007
14 years 6 days ago
Simplified Filtering Estimator for Spacecraft Attitude Determination from Phase Information of GPS Signals
—This paper presents an implementation of a simplified filtering estimator for satellite attitude determination using GPS (Global Positioning System) signals. The non-linear syst...
S. Purivigraipong, Y. Hashida, M. Unwin