Sciweavers

2205 search results - page 245 / 441
» Mutation Operators for Specifications
Sort
View
WER
2010
Springer
15 years 1 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
ECSQARU
2009
Springer
15 years 1 months ago
Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions?
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
Sébastien Destercke, Didier Dubois
EUROMICRO
2009
IEEE
15 years 1 months ago
Stakeholders' Perception of Success: An Empirical Investigation
Different stakeholders involved in the software development may attribute success to different indicators. Analogously they may support different factors considered the root of suc...
Evgenia Egorova, Marco Torchiano, Maurizio Morisio...
151
Voted
FIW
2009
138views Communications» more  FIW 2009»
15 years 1 months ago
Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura,...
CORR
2010
Springer
149views Education» more  CORR 2010»
15 years 1 months ago
Hallway Monitoring: Distributed Data Processing with Wireless Sensor Networks
We present a sensor network testbed that monitors a hallway. It consists of 120 load sensors and 29 passive infrared sensors (PIRs), connected to 30 wireless sensor nodes. There ar...
Tobias Baumgartner, Sándor P. Fekete, Tom K...