356 search results - page 30 / 72 » Goal-Driven Analysis of Process Model Validity |
EUSFLAT
2001
13 years 10 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
TDSC
2010
13 years 3 months ago
2010
Network survivability is the ability of a network keeping connected under failures and attacks, which is a fundamental issue to the design and performance evaluation of wireless ad...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
Modelling textured images as AM-FM functions has been applied during the last years to texture analysis and segmentation tasks. In this paper we present some advances in two direc...