Sciweavers

1624 search results - page 118 / 325
» Modelling Variability for System Families
Sort
View
CONCUR
2008
Springer
15 years 4 months ago
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara...
107
Voted
EOR
2007
128views more  EOR 2007»
15 years 2 months ago
Value of capacity pooling in supply chains with heterogeneous customers
We investigate the value of pooling capacity in supply chains that serve product demands of different variabilities. We build and analyze models that integrate production queuing...
Apurva Jain
99
Voted
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
15 years 8 months ago
Systems Design, Process Performance and Economic Outcomes
IT value remains a serious concern of management today, especially how it should be measured and how it is created. Although we have made significant progress at the firm and aggre...
Prabu Davamanirajan, Robert J. Kauffman, Charles H...
140
Voted
ISSTA
1998
ACM
15 years 6 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
135
Voted
TFS
2008
129views more  TFS 2008»
15 years 1 months ago
A Functional-Link-Based Neurofuzzy Network for Nonlinear System Control
Abstract--This study presents a functional-link-based neurofuzzy network (FLNFN) structure for nonlinear system control. The proposed FLNFN model uses a functional link neural netw...
Cheng-Hung Chen, Cheng-Jian Lin, Chin-Teng Lin