Sciweavers

4270 search results - page 443 / 854
» A Permutation Approach to Validation
Sort
View
REFSQ
2009
Springer
16 years 1 months ago
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yv...
151
Voted
CEC
2008
IEEE
16 years 1 months ago
A feasibility-preserving local search operator for constrained discrete optimization problems
Abstract— Meta-heuristic optimization approaches are commonly applied to many discrete optimization problems. Many of these optimization approaches are based on a local search op...
Martin Lukasiewycz, Michael Glaß, Christian ...
CSMR
2008
IEEE
16 years 1 months ago
How Lisp Systems Look Different
Many reverse engineering approaches have been developed to analyze software systems written in different languages like C/C++ or Java. These approaches typically rely on a meta-mo...
Adrian Dozsa, Tudor Gîrba, Radu Marinescu
DSRT
2008
IEEE
16 years 1 months ago
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
Manel Khlif, Mohamed Shawky
ISBI
2008
IEEE
16 years 1 months ago
Unsupervised segmentation of cell nuclei using geometric models
Fluorescent microscopy of biological samples allows noninvasive screening of specific molecular events in-situ. This approach is useful for investigating intricate signalling path...
Shaun Fitch, Trevor Jackson, Peter Andras, Craig R...