10159 search results - page 475 / 2032 » System Design Validation Using Formal Models |
155
click to vote
INFSOF
2007
15 years 4 months ago
2007
Due to the principal role of Data warehouses (DW) in making strategy decisions, data warehouse quality is crucial for organizations. Therefore, we should use methods, models, tech...
134
Voted
DISOPT
2008
15 years 5 months ago
2008
We study the design of capacitated survivable networks using directed p-cycles. A p-cycle is a cycle with at least three arcs, used for rerouting disrupted flow during edge failur...
154
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
195
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
134
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
An objective no-reference measure is presented to assess fine-structure image/video quality. It was designed to measure image/video quality for video surveillance applications, es...