780 search results - page 115 / 156 » Compositional Quantitative Reasoning |
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any information to prove that she has voted in a certain way. It aims to prevent ...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...
CSMR
2008
IEEE
14 years 3 months ago
2008
IEEE
Aspect-oriented design needs to be systematically assessed with respect to modularity flaws caused by the realization of driving system concerns, such as tangling, scattering, and...