Sciweavers

4924 search results - page 113 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
131
Voted
SOCO
2009
Springer
15 years 7 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
ICSE
2011
IEEE-ACM
14 years 4 months ago
Miler: a toolset for exploring email data
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
Alberto Bacchelli, Michele Lanza, Marco D'Ambros
110
Voted
ICSEA
2007
IEEE
15 years 7 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
108
Voted
WSC
2007
15 years 3 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
77
Voted
CAIP
2007
Springer
15 years 7 months ago
A Simplified Human Vision Model Applied to a Blocking Artifact Metric
A novel approach towards a simplified, though still reliable human vision model based on the spatial masking properties of the human visual system (HVS) is presented. The model con...
Hantao Liu, Ingrid Heynderickx