338 search results - page 18 / 68 » Semi-Symbolic Modeling and Analysis of Noise in Heterogeneou... |
AAMAS
2000
Springer
14 years 10 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
EOR
2007
14 years 10 months ago
2007
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...
TSP
2008
14 years 10 months ago
2008
The detection and estimation of signals in noisy, limited data is a problem of interest to many scientific and engineering communities. We present a mathematically justifiable, com...
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
113
click to vote
JCSS
2011
14 years 5 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...