4250 search results - page 234 / 850 » Understanding the Requirements on Modelling Techniques |
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper 1 proposes a technique for simplifying a given Gaussian mixture model, i.e. reformulating the density in a more parcimonious manner, if possible (less Gaussian componen...
SFM
2007
Springer
14 years 4 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
CAV
2012
Springer
12 years 1 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
DSN
2004
IEEE
14 years 2 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...